At 20 Sep 2008 23:41:50 +0100, Chris Thompson <cet1 at hermes.cam.ac.uk> wrote: > [...] > >This is a known problem and will be fixed in 9.5.1b2. It will be > >released early next week (note that I'm not saying 'hopefully' this > >time:-). > > Are we going to see 9.4.3b3 at the same time? Yes. --- JINMEI, Tatuya