Time Nick Message 20:06 MTDiscord Anyone is welcome to merge https://github.com/luanti-org/docs.luanti.org/pull/252 🙂 20:09 MTDiscord no, they arent 20:09 MTDiscord that will be merged as a part of the 5.13 relase process which hasnt happened yet 20:19 MTDiscord to be fair, the pr probably should have been put in draft or a comment to that effect