On 08/08/2018 03:31 PM, Bernhard Voelker wrote:

ah, right.  That's a different motivation, so I changed the commit message
in the attached.  Okay to push?

Thanks & have a nice day,
Berny

It is good to go.

Thanks,
Aron


Reply via email to