PR #3114 Allow changing server if validation has failed

Allow changing server if validation has failed #3114

dbkr merged 1 commit into develop from dbkr/allow_server_change_if_dead

Allow changing server if validation has failed

10f6abfe

dbkr requested a review 6 years ago

turt2live approved these changes on 2019-06-18

dbkr merged 5e7b4564 into develop 6 years ago

Reviewers

turt2live

Assignees

No one assigned

Labels

None yet

Milestone

No milestone