| kata-irc-bot | <liubin0329> Yes, there has a force push recently that merges `main` into `runtims-rs`. | 09:23 |
|---|---|---|
| kata-irc-bot | <pmores> @liubin0329 thanks, that explains it - I was just wondering if I was missing something | 10:07 |
Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!