Time  Nick      Message
16:11 MTDiscord <grorp> Merging #13797, #13806 in 20 min
16:11 ShadowBot https://github.com/minetest/minetest/issues/13797 -- Settings GUI: Noise parameter setting fixes by grorp
16:11 ShadowBot https://github.com/minetest/minetest/issues/13806 -- Two ContentDB GUI fixes by grorp
16:37 MTDiscord <grorp> Done.