mike tancsa <[email protected]> writes:
> Should open a PR about this ?

Feel free to open a PR, I already cc:ed the maintainer (jrm@).

DES
-- 
Dag-Erling Smørgrav - [email protected]

Reply via email to