kolaente b7ec24ff52 Fix old references to master in docs

2021-05-17 12:53:12 +02:00

..

doc

Fix old references to master in docs

2021-05-17 12:53:12 +02:00