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