-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: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 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. | 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 application | 10:02 | |
-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 | 15: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 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 | 20:31 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!