Gump nags

[Stefan Bodewig]

Hi all,

Gump nag mails need to be adjusted so they go to the new list(s) rather
than get re-routed.  Do people prefer to have the nag mails go to the
notifications@ list or to d...@?

Stefan