Hi Ryan, On Tue, 10 Nov 2020, Ryan Wilkerson wrote: > What did you do before the bug happened? (Steps to reproduce your issue) > I set the color in my Windows cmd-line window to something other than > the default. Could you describe in a bit of detail how you did that? Ciao, Johannes
