[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue 1377 should be pushed now?
|
From: |
Xavier Scheuer |
|
Subject: |
Issue 1377 should be pushed now? |
|
Date: |
Sat, 10 Dec 2011 00:24:44 +0100 |
Hi Joe, dear developers, bug squad,
Issue 1377 is tagged as "Patch-push" since more than one month now,
should it be pushed, go under a countdown?
http://code.google.com/p/lilypond/issues/detail?id=1377
As said David 2 weeks ago: "What's up with this one?".
Thanks for your attention.
Cheers,
Xavier
--
Xavier Scheuer <address@hidden>
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Issue 1377 should be pushed now?,
Xavier Scheuer <=