seqan/seqan — pull request #258 by holtgrewe (2014-03-12 09:07:31+00:00)
Title: Missing merge from develop into master.

Needs to be applied before #257.