On Fri, Sep 23, 2011 at 11:27:33AM +0200, David Kastrup wrote: > > Since the issue tracker offers just "Fixed" as a default, I see no way a > contributor can really guess differently given the current state of > tracker and documentation.
1. contributor does git pull -r 2. contributor pushes 3. contributor looks at VERSION in his git tree 4. contributor writes "fixed_(MAJOR_VERSION)_(MINOR_VERISON)_(PATCH_LEVEL)" on the tracker, where values of () come from VERISON. Cheers, - Graham _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
