Revision 8935901a1eac9bd5d72954316ccbe60909b9ffe7

Committed on 30/11/2020 6:08 pm by Morel Sébastien <[email protected]> [GitHub Diff]

Fix Varation exception handling