|
| From: | lilypond |
| Subject: | Re: [Lilypond-auto] Issue 3511 in lilypond: Patch: removed unused header tie-column-format.hh |
| Date: | Fri, 23 Aug 2013 19:36:44 +0000 |
Comment #3 on issue 3511 by address@hidden: Patch: removed unused header tie-column-format.hh
http://code.google.com/p/lilypond/issues/detail?id=3511Well, that one seems like a no-brainer. As far as I am concerned, it would be ok to push right away.
--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] |