PR #3102 Allow changing servers on nonfatal errors

Allow changing servers on nonfatal errors #3102

dbkr merged 2 commits into develop from dbkr/nonfatal_errors_are_not_fatal

Allow changing servers on nonfatal errors

e884ccca

dbkr requested a review 7 years ago

turt2live approved these changes on 2019-06-13

Random blank lines

06a11f4d

dbkr merged 2a7301fa into develop 7 years ago

Reviewers

turt2live

Assignees

No one assigned

Labels

None yet

Milestone

No milestone