Add some doc about Signal.QUIT which cannot be caught by the JVM (fixes #912)#921

Merged

gnodet merged 1 commit intojline:masterfrom gnodet:i912

Dec 22, 2023

+10

Commits on Dec 22, 2023

Add some doc about Signal.QUIT which can not be caught by the JVM (fixes jline#912 )
gnodet
committed