Merge pull request #108 from jwillemsen/master
commitfaee919545dc0adb9c6371d4dee347081278cdbb
authorJohnny Willemsen <jwillemsen@remedy.nl>
Thu, 8 Oct 2020 09:20:30 +0000 (8 11:20 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Oct 2020 09:20:30 +0000 (8 11:20 +0200)
tree93062313f7da7cb70bbabf6bcfbef5a2cbb6cbaa
parent7473e4b3dede5bb12dccbd2b61f0c88a5cc6119a
parentd825519c7262f250eadc1c83d900b36593956dd8
Merge pull request #108 from jwillemsen/master

Migrate azure pipelines to github actions