Revision dee17a46a81b94f2933e4a66493238c103a2986b

Committed on 02/07/2018 7:17 am by Raffaele Luccisano <raffaele.luccisano@gmail.com> [GitHub Diff]

Translations and fix bound