bors[bot] aa9bef0797 Merge #7194 ...

7194: Don't update the server if managed by the user r=matklad a=lnicola

Fixes #7187

CC @figsoda

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

2021-01-07 14:39:50 +00:00

..

code

Merge #7194

2021-01-07 14:39:50 +00:00