Indeed, that should be fixed. PR submitted. -Br. Elijah Schwab, O.Carm.
On May 02, 2015 13:30, Jakub Jelinek wrote:> > What about the https://github.com/gregorio-project/gregorio/issues/347 fix? > From source inspection, the bug is there also on release-3.0 branch > and the fix looks non-risky. > > Jakub > > _______________________________________________ > Gregorio-devel mailing list > [email protected] > https://mail.gna.org/listinfo/gregorio-devel _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
