roschaefer 1273d5f2b5 Implement automatic Github releases
I hope this will create a git tag and upload a release for us.
2019-09-13 03:04:19 +02:00
..
2019-09-11 08:43:26 +02:00
2019-04-05 00:25:59 +02:00