Merge pull request #6475 from diizzyy/patch-4
authorHannu Nyman <redacted>
Mon, 16 Jul 2018 13:57:18 +0000 (16:57 +0300)
committerGitHub <redacted>
Mon, 16 Jul 2018 13:57:18 +0000 (16:57 +0300)
utils/tio: Update to 1.31


Trivial merge
git clone https://git.99rst.org/PROJECT