Merge branch 'empty-destroy-optimisation' into blead
Rafael Garcia-Suarez [Tue, 20 Jan 2009 10:45:35 +0000 (11:45 +0100)]

Trivial merge