Ludovic Courtès Fri, 01 Dec 2017 06:43:02 -0800
Hi, Just a note that this was fix a couple of weeks ago in commit aa6ae8d3243ce80d6c427e243c4fa961c3bf8388.
Thanks, Ludo’.