[08:13] Today: [08:13] * A review of Sophie's [local coördinates PR](https://github.com/MirServer/mir/pull/2785) [08:13] * A [surprisingly small fix for the input device problem](https://github.com/MirServer/mir/pull/2924) (with a commit message larger than the diff) [08:13] - There's additionally a tiny follow-up cleanup here I can do, to stop producing some warning messages [16:18] Today:... (full message at )