[04:01] -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)
[08:57] -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
[09:17] -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