Skip to content
Commit f3609a24 authored by Matti Dorsch's avatar Matti Dorsch
Browse files

fixed issue where unreachable reddening servers could lead to an error

parent a3736fe8
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment