Vladimir Marangozov wrote: > > If nobody sees a problem with this, I'm very tempted to check it in. > Any objections? This change makes sense to me. I can't see any harm in checking it in. Peter -- Peter Schneider-Kamp ++47-7388-7331 Herman Krags veg 51-11 mailto:peter@schneider-kamp.de N-7050 Trondheim http://schneider-kamp.de