Revision 525ad07a41d5cdaad1eec60163d7519b63ebb19d

Committed on 17/01/2016 1:58 am by Luca Realdi <[email protected]> [GitHub Diff]

svn stable 2