Matthias 27bea580d4 Fix rest-client script's force_enter ... closes #6927		2022-06-05 09:40:04 +02:00
..
rest_client.py	Fix rest-client script's force_enter	2022-06-05 09:40:04 +02:00