IRC log for #luanti-docs, 2025-12-19

Time	Nick	Message
05:00		MTDiscord joined #luanti-docs
05:44	MTDiscord	<a.corp.serot> https://github.com/luanti-org/luanti/pull/16735 :/
08:15	MTDiscord	<mark.wiemer> Why the :/ face? This looks like good news to me 🙂
09:35	MTDiscord	<a.corp.serot> The PR is fine, just that it's a week old and only now it's brought into attention here.
17:35		mrcheese joined #luanti-docs
18:12	MTDiscord	<wsor4035> merging https://github.com/luanti-org/luanti-org.github.io/pull/402 in 10
18:14		Niklp joined #luanti-docs
18:45		Desour joined #luanti-docs
22:30		mrcheese_ joined #luanti-docs