Martin Scheidt f0772c5742 Merge remote-tracking branch 'github/github-action' ... # Conflicts: # .github/workflows/release.yaml # .github/workflows/testing.yml		2022-02-13 20:30:05 +01:00
..
tex	modified release script for automated releases	2022-02-13 19:47:16 +01:00
workflows	Merge remote-tracking branch 'github/github-action'	2022-02-13 20:30:05 +01:00