minetest/minetest — pull request #861 by Novatux (2013-08-05 16:50:36+00:00)
Title: Simplify code of mainmenu world sort, seems to avoid a bug that occured ...

...sometimes.