IRC log for #luanti-docs, 2025-11-27

Time	Nick	Message
05:00		MTDiscord joined #luanti-docs
07:45	user333_	found yet another typo, will open a PR soon ;)
07:58	user333_	this one removes literally 1 space...
10:59		erle joined #luanti-docs
12:23		mrcheese joined #luanti-docs
12:31		erle joined #luanti-docs
20:34		mrcheese joined #luanti-docs
22:19		mrcheese joined #luanti-docs
22:33		mrcheese joined #luanti-docs
23:14		mrcheese_ joined #luanti-docs