On 12/24/2015 01:58 AM, Élie Roux wrote:
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,
I don't really see a need to error on an unknown header. A simple
warning/notice would
suffice for those who want to keep extra metadata in the gabc file.
-Br. Elijah
_______________________________________________
Gregorio-devel mailing list
[email protected]
https://mail.gna.org/listinfo/gregorio-devel
