On Mon, May 29, 2017 at 09:26:07PM +0200, Neels Hofmeyr wrote:
It's ok, I can also write up a patch; though
I'm not sure what you mean with
(This mail was written without internet and sent later, in case you're confused
about the ordering of my messages)