libming/libming — pull request #12 by netsweng (2013-06-08 15:31:57+00:00)
Title: Misc fixes 

Catching up on several small fixes before cutting new version for a Debian package release.