Joseph Rushton Wakeling:

Hope you don't mind me jumping ahead of your existing PR on this -- it's been inactive so I didn't know if you were planning on following up.


I don't mind, I am happy :-) Thank you for adding a sorely needed function.
The useless patch I opened should be closed.

Bye,
bearophile

Reply via email to