Revision ab9f53e2c02a5b2e142f654f36e598812d3d8879

Committed on 21/12/2018 6:25 am by Bertrand Dunogier <[email protected]> [GitHub Diff]

More namespace fixes