beremiz

re-merge

2018-03-25, Edouard Tisserant
6b357f1e3134
re-merge
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>