>
> Yes a proper diff or patch file would be great.
>

Isn't a "proper diff" easily extractable from the github commit reference I
posted?!?

- Håvard

Reply via email to