At Fri, 30 Nov 2007 17:00:25 -0800, julian wrote: > > The following diff removes some (whart looks to me to be) duplicate code. > > Anyone care to comment before I commit it? > > (I'm trying to imagine a case where it does something useful to do this twice > but not really succeeding). > It's a duplicate, the diff is fine. Best, George