minetest/minetest — pull request #1766 by kahrl (2014-10-24 15:04:11+00:00)
Title: Remove m_ext_ptr in GUIFormSpecMenu, replaced by refcount mechanism

Fixes #1765.