Comment #13 on issue 2171 by [email protected]: Patch: Implements
DOM-id property for grobs.
http://code.google.com/p/lilypond/issues/detail?id=2171
I see two options:
1. just push it, and add more docstrings later.
2. upload a Patch-new version with new docstrings, then go through the
whole patchy, countdown, review process again.
The decision is Mike's. I fully support him on either option; it really
comes down to how much patience he has wrt this patch.
_______________________________________________
bug-lilypond mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-lilypond
