[yast-commit] [yast/yast-registration] 9dedd0: allow changing the registration server URL in inst...