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