-GitHub[m]:#mir-server- **[MirServer/mir]** wmww opened [pull request #2904](https://github.com/MirServer/mir/pull/2904): Wayland platform: flush display before polling | 04:01 | |
-GitHub[m]:#mir-server- | 04:01 | |
-GitHub[m]:#mir-server- > Fixes #2902, alternative to #2901, I've looked into #2903 but that seems a little more complicated (and tricky to test) | 04:01 | |
-GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2904](https://github.com/MirServer/mir/pull/2904): Wayland platform: flush display before polling | 08:57 | |
-GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #2903](https://github.com/MirServer/mir/issues/2903): Wayland platform should handle failures in wl_display_flush | 08:57 | |
-GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #2902](https://github.com/MirServer/mir/issues/2902): Wayland platform should call wl_display_flush before blocking for events | 08:57 | |
-GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths closed [pull request #2901](https://github.com/MirServer/mir/pull/2901): Wayland platform: flush connection after sending pong | 09:17 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!