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
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