[08:45] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2688](https://github.com/MirServer/mir/pull/2688): Close all Wayland clients on server stop