Skip to content

Fixed bug where async_alert() overwrites readline's incremental and non-incremental search prompts. #1068

Fixed bug where async_alert() overwrites readline's incremental and non-incremental search prompts.

Fixed bug where async_alert() overwrites readline's incremental and non-incremental search prompts. #1068

lint (ubuntu-latest, 3.12)

succeeded Oct 11, 2024 in 10s