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. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
