|
From: | lilypond |
Subject: | Re: [Lilypond-auto] Issue 4335 in lilypond: Patch: Remove unused event-type general-music |
Date: | Mon, 06 Apr 2015 12:48:21 +0000 |
Comment #5 on issue 4335 by address@hidden: Patch: Remove unused event-type general-music
https://code.google.com/p/lilypond/issues/detail?id=4335Patch 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
[Prev in Thread] | Current Thread | [Next in Thread] |