Patch push announcements

[Colin Campbell]

When a countdown completes, I mark the tracker item "patch-push" and 
Google dutifully sends the resulting email to lilypond-auto, where it 
formerly went to -devel.  I wonder if the owners are getting the 
notification, and if so, how we handle those tracker items which do not 
have an owner?

Cheers,
Colin "lists, lists everywhere, nor any mail to read" Campbell

--
I've learned that you shouldn't go through life with a catcher's mitt on both 
hands.
You need to be able to throw something back.
-Maya Angelou, poet (1928- )