From: Ulya Trofimovich <skvadrik@gmail.com>
Date: Sun, 30 Jul 2017 20:51:31 +0000 (+0100)
Subject: Merge remote-tracking branch 'origin/devel'.
X-Git-Tag: 1.0~39
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7b65aa15b39bd6b741ad232437165a0a7651a65e;p=re2c

Merge remote-tracking branch 'origin/devel'.
---

7b65aa15b39bd6b741ad232437165a0a7651a65e