]> git.immae.eu Git - github/fretlink/ansible-clever.git/commitdiff
Merge pull request #78 from paulrbr-fl/add-mongo-addon v2.9
authorpaulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com>
Tue, 8 Dec 2020 10:41:22 +0000 (11:41 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Dec 2020 10:41:22 +0000 (11:41 +0100)
dhall: Add the MongoDB addon type to the Addon sum type


Trivial merge