From: notoria <notoria@users.noreply.github.com>
Date: Wed, 29 Apr 2020 21:47:05 +0000 (+0200)
Subject: Merge branch 'mediants' into mediants
X-Git-Tag: v0.8.123~92^2^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ccee17c5738f8266d393cc99778bdf4523be5102;p=scryer-prolog.git

Merge branch 'mediants' into mediants
---

ccee17c5738f8266d393cc99778bdf4523be5102