Hi, Thank you very much! Your analysis and patch seem right. Do you think you could make a pull request (a mechanism specific to github, specially adapted to this kind of situation) on the main gregorio repo?
Thank you! -- Elie _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
