21 Jun
2023
21 Jun
'23
8:51 p.m.
On 6/21/23 11:28, Vitaly Magerya wrote:
But in any case, I did not invent this code: I copy-pasted it directly from the interactive mode with HAVE_LIBREADLINE disabled; this way I can convince myself that it's correct, because it's already used a few lines up :)
Oh, yes! m-|
I'm attaching the patch.
Thankfully applied. -richy.