OptimalBits/navcodec — pull request #12 by mscdex (2013-07-27 19:18:43+00:00)
Title: misc fixes

Issue(s) found via [cppcheck](http://cppcheck.sourceforge.net/).