From: Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>
Date: Mon, 7 Oct 2019 07:55:09 +0000 (+0200)
Subject: Merge pull request #54 from clementd-fretlink/polykinds
X-Git-Tag: v2.0
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9;p=github%2Ffretlink%2Fansible-clever.git

Merge pull request #54 from clementd-fretlink/polykinds

Migrate to dhall 1.26.1 and merge types and terms
---

78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9