From: glenrendes <glenda@reasoningtechnology.com>
Date: Tue, 23 Apr 2019 14:03:04 +0000 (+0200)
Subject: Merge branch 'master' of https://github.com/Reasoning-Technology/subu
X-Git-Url: https://git.reasoningtechnology.com/style/static/gitweb.js?a=commitdiff_plain;h=b16fef7b05f364ddf87b412af7c6ed699d39990a;p=subu

Merge branch 'master' of https://github.com/Reasoning-Technology/subu
---

b16fef7b05f364ddf87b412af7c6ed699d39990a