Revision 3526a8c4468df083574365a19b37954a98ebb6c5

Committed on 07/12/2018 10:41 am by Raffaele Luccisano <raffaele.luccisano@gmail.com> [GitHub Diff]

Fix vari