[07:33] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2555](https://github.com/MirServer/mir/pull/2555): Fix regenerate-miral-symbols-map.py (and symbols.map) [07:33] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] edited [pull request #2557](https://github.com/MirServer/mir/pull/2557): Add virtual pointer protocol name to miral [09:54] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2558](https://github.com/MirServer/mir/pull/2558): [doc] Don't leave obsolete docs around [10:03] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2557](https://github.com/MirServer/mir/pull/2557): Add virtual pointer protocol name to miral [10:42] Saviq headspace for this? https://github.com/MirServer/mir/pull/2556 [10:49] ACK [10:54] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2559](https://github.com/MirServer/mir/pull/2559): Use Clang parser for generating docs... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/a21a2aa66daa0729d28e885c4b78527d4d12dd97) [11:19] alan_g just one thing re: quirks: any better verb for "allow"? skip vs. allow don't seem like the right pair. [11:19] skip vs. use? skip vs. enable? [11:21] I struggled there. There's no obvious antonym for this use of "skip" (I thought of those options before proposing "allow") [11:22] I also thought of making uo "unskip" [11:22] But that assumes it's skipped ;) [11:23] Better would be "disable" vs "enable" [11:23] I suppose context-wise, it is "skip this driver/devnode" vs. "allow this driver/devnode, if you encounter it" [11:23] It's "soft" in that sense -- enable/disable suggests it would be an error to give a driver/devnode that doesn't exist (or doesn't get used) [11:24] So maybe, since it's not generic, but only applies to this context, it's actually fine, even if sans context, it doesn't necessarily work [11:25] That is where I arrived at. But easily convinced otherwise [11:26] "use" and "enable" seem too strong. "Unskip" is just artificial [11:46] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2559](https://github.com/MirServer/mir/pull/2559): Use Clang parser for generating docs [12:25] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2556](https://github.com/MirServer/mir/pull/2556): Add more defaults to driver-quirks [12:59] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2558](https://github.com/MirServer/mir/pull/2558): [doc] Don't leave obsolete docs around [13:52] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2560](https://github.com/MirServer/mir/pull/2560): Add a libmiral-bin metapackage... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2887be4e5a81f023ca49cba86ce8f2adfb0b23e9) [14:19] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [issue #2467](https://github.com/MirServer/mir/issues/2467): Auto-selection of X11 platforms fails with Nvidia drivers (470 and 515) using LXDE [14:25] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [issue #2278](https://github.com/MirServer/mir/issues/2278): Wayland platform: support all pointer events [14:33] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [issue #2176](https://github.com/MirServer/mir/issues/2176): Implement discrete scrolling for mouse wheel [14:36] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [issue #1717](https://github.com/MirServer/mir/issues/1717): We still publish libmirserver-dev [14:54] -GitHub[m]:#mir-server- **[MirServer/mir]** Saviq requested a review from RAOF for [pull request #2560](https://github.com/MirServer/mir/pull/2560): Add a libmiral-bin metapackage [15:21] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [issue #341](https://github.com/MirServer/mir/issues/341): Surface frame events don't have timestamps [15:34] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths added wmww review required to [issue #318](https://github.com/MirServer/mir/issues/318): Wayland interfaces fail to verify `serial` parameter [16:46] Good evening o/ [17:05] Good evening o/