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