esiragusa/seqan — pull request #48 by esiragusa (2014-10-02 10:09:26+00:00)
Title: Merge develop into feature/stream/develop

Please do not merge it yet.