Revision fe4d68537d0f3a89a759089c55d21ddc410b8623

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

svn stable 1