Matthias 2b1d0b4ab5 Rename references to "master" branch to "stable" ... closes #2496		2020-09-20 11:45:08 +02:00
..
ci.yml	Rename references to "master" branch to "stable"	2020-09-20 11:45:08 +02:00
docker_update_readme.yml	Rename references to "master" branch to "stable"	2020-09-20 11:45:08 +02:00