Ludovic Courtès Fri, 16 Feb 2018 02:23:00 -0800
Closing this bug, which was fixed by commit 47551a761bb110e0ae2402eaf014076fbe67af0f.
Ludo’.