geoadmin/mf-chsdi3 — pull request #538 by ltclm (2014-03-19 07:48:07+00:00)
Title: switch back to official sphinx adresses

Hi Gilbert
Here is the pull request for switching back to the sphinx old infra.