seqan/seqan — pull request #635 by h-2 (2014-10-15 14:42:39+00:00)
Title: [fix] #584 #578

succeeds #623
new pull request since changes happened between last one and commit; please review quickly, thanks!