Closed terminalmage closed 8 months ago
Fixes #857.
Thanks to @elig0n for diagnosing and proposing a fix!
Fixes #857.