|
From: | lilypond |
Subject: | Re: Issue 2171 in lilypond: Patch: Implements DOM-id property for grobs. |
Date: | Mon, 09 Jan 2012 05:17:41 +0000 |
Comment #13 on issue 2171 by address@hidden: 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.
[Prev in Thread] | Current Thread | [Next in Thread] |