> As Tom said earlier, wasn't this fixed by 618c16707? If not, is there any > other discussion on the specifics of this issue? I'm not aware of one.
Hmmm… I'll try to understand why the doubled message seems to be still there.
-- Fabien.