]> granicus.if.org Git - re2c/commitdiff
Merge remote-tracking branch 'origin/devel'.
authorUlya Trofimovich <skvadrik@gmail.com>
Sun, 30 Jul 2017 20:51:31 +0000 (21:51 +0100)
committerUlya Trofimovich <skvadrik@gmail.com>
Sun, 30 Jul 2017 20:51:31 +0000 (21:51 +0100)

Trivial merge