Merge pull request #13011 from TDT-AG/pr/20200803-ttyd
authorFlorian Eckert <fe@dev.tdt.de>
Tue, 4 Aug 2020 12:19:24 +0000 (14:19 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Aug 2020 12:19:24 +0000 (14:19 +0200)
ttyd: fix debug config option


Trivial merge