goobi/goobi-production — pull request #8 by matthias-ronge (2013-03-13 08:07:14+00:00)
Title: Bug 1124212

Corrected line endings, should merge now