]> git.immae.eu Git - github/fretlink/ansible-clever.git/commit
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)
commit78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9
tree9f1e54602403fa90be42b475f722400142b434b4
parent3290aaf7f973cf3c64219d029538f53f1d82da94
parent2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8
Merge pull request #54 from clementd-fretlink/polykinds

Migrate to dhall 1.26.1 and merge types and terms