On Tue, 17 Jul 2018 17:46:35 +0200, Rob Duncan wrote: > > At 22:04 on Mon, Jul 16 2018, Takashi wrote: > > > The code change is similar as what I had in my mind, but... > > Version 2! Applied, thanks! Takashi