minetest/minetest — pull request #1739 by Zeno- (2014-10-16 07:48:29+00:00)
Title: Increase formspec menu size to accommodate for new configure keys button...

... in the pause menu