On Thu, Jul 13, 2023 at 10:09:47AM +0200, Cornelia Huck wrote: > On Wed, Jul 12 2023, Parav Pandit <[email protected]> wrote: > > >> From: Michael S. Tsirkin <[email protected]> > >> Sent: Wednesday, July 12, 2023 6:41 PM > >> Hmm. escapechar did not work then? > > > > Forgot to mention, I tried it, it didn't work. > > It seemed to work for me (at least in the pdf) -- I'd prefer that one as > a minimal change.
Yes it really should. Could you post yours please? --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
