On Mon, 31 Oct 2016 19:45:34 +0100
carlo <crl.lcc.85(a)gmail.com> wrote:
Hello everybody,
As suggested by pingou, I made an actual git patch :), you find it
attached ... Please do not consider my previous email.
Regards Carlo.
Pushed thanks!
kevin