Mon, 16 Jan 2017 01:14:57 +0100fix a side effect of 95ecb26fdc4e
Edouard Tisserant 7BB06627 <edouard.tisserant@gmail.com> [Mon, 16 Jan 2017 01:14:57 +0100] rev 1633
fix a side effect of 95ecb26fdc4e