|
| From: | lilypond |
| Subject: | Re: Issue 2171 in lilypond: Patch: Implements DOM-id property for grobs. |
| Date: | Mon, 09 Jan 2012 03:46:52 +0000 |
Comment #12 on issue 2171 by address@hidden: Patch: Implements DOM-id property for grobs.
http://code.google.com/p/lilypond/issues/detail?id=2171Can we have a ruling on whether this patch can go forward, please? I'm putting out today's countdown batch without it, but would it be fine to re-push if agreed by Graham or someone like him, given Mike's openess to adding to the doc string?
| [Prev in Thread] | Current Thread | [Next in Thread] |