Sat, 31 Mar 2012 21:34:20 +0100merge with Laurent's changeset (essentially, ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:34:20 +0100] rev 498
merge with Laurent's changeset (essentially, ignore all changes).