Dear all, Reading https://github.com/igneus/gly, I'm wondering if raising an error when an unknown header is found is really that good... Maybe just a warning would make things easier for some users? What do you think?
Also, I won't have access to the Internet during a few days, so don't be blocked by it, you can merge without my approval! Thank you, -- Elie _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
