Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Safer use of the 'tty' command output (related to GH #392)
This is in hope to fix GH #392. But I've still not figured out the real cause.
- Loading branch information