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

Time	Nick	Message
01:45		user333__ joined #luanti-docs
01:50		user333_ joined #luanti-docs
05:00		MTDiscord joined #luanti-docs
09:22		Warr1024 joined #luanti-docs
09:47		Warr1024 joined #luanti-docs
10:13		mrcheese joined #luanti-docs
15:41	MTDiscord	<wsor4035> merging https://github.com/luanti-org/docs.luanti.org/pull/301 in 5
20:28		mrcheese joined #luanti-docs
22:28		[MatrxMT] joined #luanti-docs