Revision 94305bf7980c6d14e6e9439a9b95d899bac35128

Committed on 10/11/2017 2:30 am by Raffaele Luccisano <raffaele.luccisano@gmail.com> [GitHub Diff]

Fix counter