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