korpling/ANNIS — pull request #222 by thomaskrause (2013-09-29 14:24:19+00:00)
Title: Hotfix for bug #221

Please do not merge yet, we still have to update the version numbers!