Time  Nick       Message
19:37 rubenwardy merging #13457 in 10
19:37 ShadowBot  https://github.com/minetest/minetest/issues/13457 -- Split compilation instructions from README.md by rubenwardy