OpenMS/OpenMS — pull request #846 by hroest (2014-05-24 16:22:48+00:00)
Title: Fix/fixes from822

these are the fixes discussed in #822