Dimitris Glezos (dimitris at glezos.com) said: > > I have not committed the change yet. Is this OK to commit? > > +1 from me. OK, given the various +1s, committed. Bill