Sun, 18 Jan 2015 19:41:27 +0100 Edouard Tisserant minor cleanup
Fri, 16 Jan 2015 22:09:28 +0100 Edouard Tisserant merged forgotten changes