Time  Nick      Message
19:24 MTDiscord <luatic> planning to merge #15425 in 10m
19:24 ShadowBot https://github.com/minetest/minetest/issues/15425 -- Button and dialog for showing clients of a server in the main menu by siliconsniffer
19:26 Krock     "Main menu: player list for public servers" might be a more pleasing name but ig this works too
19:27 MTDiscord <luatic> Krock: I wasn't planning on keeping the PR name, I usually edit those a bit on squash. Thanks for the suggestion. :)
19:27 Krock     alright then. even better :-----)
19:28 MTDiscord <jordan4ibanez> :3
19:32 MTDiscord <siliconsniffer> yay!
19:34 MTDiscord <luatic> done :D
19:35 MTDiscord <siliconsniffer> Lets go! 🎉
23:03 [MatrxMT] <grorp> congrats :)