-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi all,
I fixed that as Stephan suggested. Committed revision 4101.
Rudolf
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla -
http://enigmail.mozdev.org
iEYEARECAAYFAknjf2wACgkQ3J9wPJqZRNWP7wCeO5ejiePFeJyzW5UvN1KMtfoE
YvMAn2EH/IludoCUUXAfP5tzYGbMtftw
=FD8x
-----END PGP SIGNATURE-----