geoadmin/mf-chsdi3 — pull request #537 by gjn (2014-03-19 07:39:25+00:00)
Title: Remove unneeded changes

This should get rid of the changes introduced by merging https://github.com/geoadmin/mf-chsdi3/pull/526, which should not have happened.