Skip to content

Remove Ctrl+C handling, see #3456#3499

Merged
wadoon merged 1 commit intomainfrom weigl/rmsigtermAug 13, 2024

Commits

Commits on Aug 4, 2024