Thanks for the report, can you please test latest git commit? For things like that, do not hesitate to use the github bugtracker, it's the best place for me not to forget anything...
Thank you, -- Elie _______________________________________________ Gregorio-users mailing list [email protected] https://mail.gna.org/listinfo/gregorio-users
