Revision da63ebbb192dee72529826370712d1b7bd379b05

Committed on 08/04/2016 1:49 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

fix operators