Matthias 59a723aec8 Add /health to rest client ... discovered in #7299		2022-08-27 15:12:04 +02:00
..
rest_client.py	Add /health to rest client	2022-08-27 15:12:04 +02:00