Jose' Matos wrote: > > Additionally, we could force \quotes_times to 2 between 229 and 230. > > What is the difference if you don't do it?
Files up to the forthcoming version might have the described bug (single quotes enabled, which does not make sense and basically breaks quotation mark handling). Jürgen
