seqan/seqan — pull request #467 by holtgrewe (2014-08-25 13:01:45+00:00)
Title: Merging master into develop.

Adds four previous merges.