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

Time	Nick	Message
04:00		MTDiscord joined #luanti-docs
10:00		rubenwardy joined #luanti-docs
13:17		Desour joined #luanti-docs
14:33		BuckarooBanzai joined #luanti-docs
15:58		Desour joined #luanti-docs
17:12		Desour joined #luanti-docs
18:00		Niklp joined #luanti-docs
22:18	MTDiscord	<wsor4035> merging https://github.com/luanti-org/docs.luanti.org/pull/257 in 10
23:15	MTDiscord	<the4spaceconstants2181> 10 what
23:15	MTDiscord	<wsor4035> decades
23:16	MTDiscord	<the4spaceconstants2181> nah it was actually 10 * 3min