Friday, 2022-07-08

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 something10:07

Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!