Thanks for fixing that. On Thu, 22 Apr 2010 22:00:26 +0000, David Holland writes: >On Thu, Apr 22, 2010 at 02:11:31PM -0700, Simon J. Gerraty wrote: > > Dh already commited the exact same change I just tried to. > >sorry, didn't look here first. :-/