Matthias a7cd68121b Have rest-client use new reload_config endpoint

2020-06-10 19:44:34 +02:00

..

rest_client.py

Have rest-client use new reload_config endpoint

2020-06-10 19:44:34 +02:00