[09:57] -GitHub[m]:#mir-server- **[MirServer/mir]** mariogrip opened [issue #2803](https://github.com/MirServer/mir/issues/2803): No public api to match wayland client with miral application
[09:57] -GitHub[m]:#mir-server-  
[09:57] -GitHub[m]:#mir-server- > We have no way of matching a wayland client with a miral application when creating wayland extensions using mirwayland.
[09:59] -GitHub[m]:#mir-server- **[MirServer/mir]** mariogrip opened [issue #2804](https://github.com/MirServer/mir/issues/2804): mir_wayland_generator generated code that include non public header
[09:59] -GitHub[m]:#mir-server-  
[09:59] -GitHub[m]:#mir-server- > When generating code with mir_wayland_generator it creates code that include `#include "mir/wayland/client.h"` but this is not an public header.
[10:02] -GitHub[m]:#mir-server- **[MirServer/mir]** mariogrip closed [issue #2803](https://github.com/MirServer/mir/issues/2803): No public api to match wayland client with miral application
[15:30] -GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2805](https://github.com/MirServer/mir/pull/2805): Publish mir/wayland/client.h
[15:30] -GitHub[m]:#mir-server-  
[15:30] -GitHub[m]:#mir-server- > Fixes: #2804
[20:31] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] closed [issue #2804](https://github.com/MirServer/mir/issues/2804): mir_wayland_generator generated code that include non public header
[20:31] -GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2805](https://github.com/MirServer/mir/pull/2805): Publish mir/wayland/client.h