Revision ca1b88ec485b8a9195a05dcc9f0d80c4bd23f673

Committed on 12/11/2020 9:50 am by Luca Realdi <[email protected]> [GitHub Diff]

Add error translations