Revision fb1eac54a71c550b795502620a437859b4dba0ea

Committed on 26/08/2012 3:32 pm by Gaetano Giunta <[email protected]> [GitHub Diff]

Add class forgotten in last commits