Revision f67302e335ee812ff489a4fd7be12282eaede114

Committed on 18/12/2018 2:41 pm by Bertrand Dunogier <[email protected]> [GitHub Diff]

[renaming] Updated comments