Comment #5 on issue 4335 by [email protected]: Patch: Remove unused
event-type general-music
https://code.google.com/p/lilypond/issues/detail?id=4335
Patch counted down - but at David K's request (and dev agreement) this will
not be set to Push until next countdown so it can be reviewed on 7th/8th
Apr.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
