mana/manaserv — pull request #62 by atheros (2013-05-04 16:38:44+00:00)
Title: Client-side settings are available from settings.xml now

This is needed for https://github.com/mana/mana/pull/34