Wed, 10 Jul 2019 10:43:14 +0200 Edouard Tisserant Removed dead code.