A Tuesday 08 July 2008 12:05:05, Pedro Alves wrote:
> Attached is what I checked in then.

Sorry, EWRONGPATCH.  *This* is what I checked in.

-- 
Pedro Alves