On Sunday 03 June 2007 01:25, Alexander Kriegisch wrote: > Sorry for pushing this, but there was no reaction in two days. No need to be sorry, pinging about bug reports / reposting patches which were not commented on is perfectly okay. -- vda