From: glenrendes <glenda@reasoningtechnology.com>
Date: Sat, 6 Apr 2019 16:04:06 +0000 (+0200)
Subject: Merge branch 'master' of https://github.com/Reasoning-Technology/subu
X-Git-Url: https://git.reasoningtechnology.com/style/static/git-logo.png?a=commitdiff_plain;h=bd4bae7df144ec80233d32e587f03ce38532230c;p=subu

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

Spelling change in makefile not yet checked in
---

bd4bae7df144ec80233d32e587f03ce38532230c