Revision a3a7b552d990c0dc3b2ad40b73caa1f1ed2b6475

Committed on 21/03/2018 10:02 am by Raffaele Luccisano <raffaele.luccisano@gmail.com> [GitHub Diff]

Fix vari