Bug#867296: (no subject)

[BRINER Cédric]

Hi Aron,

Sorry for the bug. you were right: the compilation process took a lot of 
time: from
Mon Jul 10 17:29:53 CEST 2017
to
Mon Jul 10 17:34:43 CEST 2017.

Thanks for your help.

cED