[FIX] fixed #513
Merge branch 'develop' of github.com:seqan/seqan into feature/stream-fixes
Merge pull request #596 from weese/feature/stream-fixes

[FIX] fixed #513