This repository has been archived by the owner on Apr 22, 2020. It is now read-only.

Ctrl-D doesn't always quit #16

Open

millette opened this issue Dec 18, 2017 · 0 comments

Labels

bug

Owner

millette commented Dec 18, 2017

No description provided.

millette added the bug label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.