freeminer/default — pull request #18 by donat-b (2014-12-26 07:48:42+00:00)
Title: Replace gui_hotbar.png (for proper background scaling)

see https://github.com/freeminer/freeminer/pull/180