goobi/goobi-production — pull request #196 by matthias-ronge (2014-09-02 09:15:51+00:00)
Title: Merge last recent changes to 1.10.x into feature-zm

I saw that there are some changes to 1.10.x that should make it into feature-zm, but yet didn’t.