/srv/irclogs.ubuntu.com/2023/01/22/#mir-server.txt

-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 application09: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:57
-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 header09: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.09:59
-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 application10:02
-GitHub[m]:#mir-server- **[MirServer/mir]** AlanGriffiths opened [pull request #2805](https://github.com/MirServer/mir/pull/2805): Publish mir/wayland/client.h15:30
-GitHub[m]:#mir-server- 15:30
-GitHub[m]:#mir-server- > Fixes: #280415:30
-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 header20:31
-GitHub[m]:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2805](https://github.com/MirServer/mir/pull/2805): Publish mir/wayland/client.h20:31

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!