Feature 10981: changed repeat_interval parameter in AlertManager