Merge branch 'master' of srvgitgnv:/gitstore/g_tr65/debian6500
authorLaurent Mazet <laurent.mazet@thalesgroup.com>
Tue, 15 Sep 2015 08:56:54 +0000 (10:56 +0200)
committerLaurent Mazet <laurent.mazet@thalesgroup.com>
Tue, 15 Sep 2015 08:56:54 +0000 (10:56 +0200)

Trivial merge