Merge pull request #228 from ozbenh/misc
authorMichael Neuling <mikey@neuling.org>
Thu, 9 Jul 2020 02:25:50 +0000 (12:25 +1000)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 02:25:50 +0000 (12:25 +1000)
Misc nexys video fixes


Trivial merge