Christian Weichel 8d1664f81f [ws-daemon] Search and replace ws-sync
This should have happened in #2003

/werft https=true
2020-10-19 10:26:18 +02:00
..
2020-10-19 10:26:18 +02:00
2020-10-19 10:26:18 +02:00