On Mon, 16 Jan 2012 10:56:03 +0000, David Edmondson <dme at dme.org> wrote: > Given the discussion that followed this patch I'd like to mark it as > 'obsolete'. > > Any objections? None whatsoever :) Peace -- Pieter