Revision 68061d0e18d42b4358aed876c8defdc22283a3a5

Committed on 03/01/2019 10:10 am by Paulo Rodrigues Pinto <[email protected]> [GitHub Diff]

Fix tests