fixes manager and server name

This commit is contained in:
Jérôme Schneider 2014-06-17 16:34:25 +02:00
parent 49d6dcbe3e
commit 6afb3ae65c
2 changed files with 0 additions and 0 deletions