On Monday, 4 November 2024 at 19:27:34 UTC, Rémy Mouëza wrote: > On Friday, 1 November 2024 at 23:48:10 UTC, jmh530 wrote: >> Would you be able to submit the fix? > > Someone already did it. It's not been merged yet: > https://github.com/MartinNowak/linenoise/pull/1/files Thanks. Only over a year old...