On Fri, Aug 31, 2018 at 02:42:33PM +0200, Marcel Ziswiler wrote: > From: Marcel Ziswiler > > There was a dot instead of a comma. Fix this. > > Signed-off-by: Marcel Ziswiler Applied, thanks. Thierry