Forget my previously-posted patch. It was a bit too aggressive on the character substitution and led to other errors in similar situations.
The newly attached patch should solve this.
Sorry for the trouble and cheers
Forget my previously-posted patch. It was a bit too aggressive on the character substitution and led to other errors in similar situations.
The newly attached patch should solve this.
Sorry for the trouble and cheers