On 2017-10-12 12:01 AM, Bernhard Voelker wrote:
> On 10/12/2017 05:27 AM, Pádraig Brady wrote:
>> I'd be a bit happier if it was more terse (pardon the pun).
> 
> +1

Thank you all for the suggestions and improvements.

Attached an updated patch.

regards,
 - assaf