Feature/ais6 235 10#195

pierregarreau wants to merge 6 commits intoschwehr:masterschwehr/libais:masterfrom

pierregarreau:feature/ais6_235_10pierregarreau/libais:feature/ais6_235_10Copy head branch name to clipboard