[04:48] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2539](https://github.com/MirServer/mir/pull/2539): Include null terminator in keymap
[04:48] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #2533](https://github.com/MirServer/mir/issues/2533): Null-terminate buffer behind keymap fd
[08:38] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2541](https://github.com/MirServer/mir/pull/2541): [miral] Unblock signals before execing child processes
[08:38] -GitHub[m]:#mir-server-  
[08:38] -GitHub[m]:#mir-server- > Fixes: #1284
[10:05] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2541](https://github.com/MirServer/mir/pull/2541): [miral] Unblock signals before execing child processes
[10:05] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #1284](https://github.com/MirServer/mir/issues/1284): Can not close xterm when launched by Mir
[13:01] -GitHub[m]:#mir-server- **[MirServer/mir]** Saviq closed [pull request #2538](https://github.com/MirServer/mir/pull/2538): ci: disable precompiled headers
[16:15] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2542](https://github.com/MirServer/mir/pull/2542): Housekeep the mirtest headers
[16:15] -GitHub[m]:#mir-server-  
[16:15] -GitHub[m]:#mir-server- > Fixes: #2500
[16:51] <Saviq> Good eve o/
[16:57] <alan_g[m]> Good evening all! o?
[18:37] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2542](https://github.com/MirServer/mir/pull/2542): Housekeep the mirtest headers
[18:37] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #2500](https://github.com/MirServer/mir/issues/2500): Inconsistent public/private headers