rtd bugfixes #258

Merged

meierj merged 4 commits from mueller/rtd-bugfixes into develop

2022-05-23 19:36:14 +02:00

Author	SHA1	Message	Date
Robin Müller	43269d4add	Merge branch 'develop' into mueller/rtd-bugfixes All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-05-23 18:37:40 +02:00
Robin Mueller	a4de3e9eb1	Merge remote-tracking branch 'origin/develop' into mueller/rtd-bugfixes All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-05-23 18:00:45 +02:00
Robin Mueller	10e075efaf	update changelog All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-05-23 17:52:44 +02:00
Robin Mueller	8aa664b49f	rtd bugfixes Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-05-23 17:50:54 +02:00