Merge branch 'LIBTOOLS-master' into MNH-52X
authorPhilippe WAUTELET <philippe.wautelet@aero.obs-mip.fr>
Thu, 19 May 2016 14:52:42 +0000 (16:52 +0200)
committerPhilippe WAUTELET <philippe.wautelet@aero.obs-mip.fr>
Thu, 19 May 2016 14:52:42 +0000 (16:52 +0200)

Trivial merge