Merge pull request #12845 from zhaojh329/rtty
authorRosen Penev <rosenp@gmail.com>
Fri, 17 Jul 2020 13:04:52 +0000 (06:04 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 13:04:52 +0000 (06:04 -0700)
rtty: update to 7.1.4


Trivial merge