geoadmin/mf-geoadmin3 — pull request #200 by tonio (2013-08-01 10:40:44+00:00)
Title: avoid duplicate #tools id

introduced in #194