Sun, 15 May 2011 10:22:15 +0100Commiting merge with Laurent's recent dead code removal change.
Mario de Sousa <msousa@fe.up.pt> [Sun, 15 May 2011 10:22:15 +0100] rev 297
Commiting merge with Laurent's recent dead code removal change.