]> granicus.if.org Git - re2c/commitdiff
Merge pull request #230 from sergeyklay/patch-1
authorUlya Trofimovich <skvadrik@gmail.com>
Wed, 21 Nov 2018 21:54:58 +0000 (21:54 +0000)
committerGitHub <noreply@github.com>
Wed, 21 Nov 2018 21:54:58 +0000 (21:54 +0000)
Changes for upcoming Travis' infra migration


Trivial merge