]> git.immae.eu Git - github/fretlink/ansible-clever.git/commitdiff
Merge pull request #54 from clementd-fretlink/polykinds v2.0
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>
Mon, 7 Oct 2019 07:55:09 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Oct 2019 07:55:09 +0000 (09:55 +0200)
Migrate to dhall 1.26.1 and merge types and terms


Trivial merge