seqan/seqan — pull request #581 by weese (2014-10-06 22:24:34+00:00)
Title: [FIX] fixed Hotfix/trac tickets

@meiers, @JohnReid this should fix the issues you've found.

Thx again.