On 22 August 2016 at 11:03, FRIGN <[email protected]> wrote:
> On Mon, 22 Aug 2016 10:59:16 +0200
> Anselm R Garbe <[email protected]> wrote:
>
>> I prefer it this way.
>
> So is it good to merge?

@Hiltjo: your opinion?

BR,
Anselm

Reply via email to