Revision dee17a46a81b94f2933e4a66493238c103a2986b

Committed on 02/07/2018 7:17 am by Raffaele Luccisano <[email protected]> [GitHub Diff]

Translations and fix bound