genometools/genometools — pull request #305 by satta (2014-05-15 10:59:51+00:00)
Title: Small fixes

This PR addresses some small portability-related and cosmetic issues, some of which were patched in the upcoming Debian package release.