On Sat, Nov 30, 2002 at 12:13:41PM +0000, Federico Giannici wrote: > OK, but... what about your useful port? ;-) I updated the port which was very trivial. In fact all you needed to do was bump 1.1 -> 1.2. Anyway, it's updated now, but you should really wait until 1.2.1 per the reasons on the mozilla homepage. - jolan