Re: [patch] bug 3673: missing quotation characters in unicodesymbols

[Uwe Stöhr]

> If this is corrected, you have my OK as well.

Thanks for proofreading. The corrected version is in SVN.

regards Uwe