Time  Nick      Message
19:52 MTDiscord <wsor4035> merging https://github.com/luanti-org/docs.luanti.org/pull/211 in 10
19:54 MTDiscord <mark.wiemer> Thoughts on https://github.com/luanti-org/docs.luanti.org/pull/212?
20:52 Krock     @mark.wiemer I support the idea but I don't know how it's best implemented.