On Friday, 17 July 2009 at 17:58, Aron Griffis wrote: > Rocco Rutte wrote: [Fri Jul 17 2009, 01:45:52PM EDT] > > On Tue, Jul 14, 2009 at 08:25:46PM -0700, Brendan Cully wrote: > > > Sorry. It's applied now. > > > > I'm not really sure, but maybe this deserves an entry in UPDATING? > > Sure, does this suffice? That's great, thanks. Applied.