Revision 906506ed285b918269cb7ca661c40af41255352f

Committed on 08/03/2017 12:18 am by Luca Realdi <[email protected]> [GitHub Diff]

Fix issue #1