On Sun, 2005-04-17 at 18:53 -0400, Michael Franz wrote: > On 12/30/04, Michael Franz <mvfranz at gmail.com> wrote: > > Here is the diff -u . > > Any reason why this was not applied? > > Michael > No special reason besides forgetting. :) Checking it in now. Guilhem.