Revision 60b760e7d84bcd293b6f7d3dabe4ca9415ce5b8a

Committed on 26/11/2019 8:09 am by Luca Realdi <[email protected]> [GitHub Diff]

Bug fix on user acceptance