Revision 017ba7a799f511ea1911bcefec5c0d38239c5c2a

Committed on 02/11/2020 2:14 am by Luca Realdi <[email protected]> [GitHub Diff]

Add missing translation