Till Brehm
2016-01-31 0a0647df645c2b75e136c81ff3aa99dd7c2ca05a
server/lib/classes/monitor_tools.inc.php
@@ -62,6 +62,9 @@
            $mainver = array_filter($mainver);
            $mainver = current($mainver).'.'.next($mainver);
            switch ($mainver){
            case "15.10":
               $relname = "(Wily Werewolf)";
               break;
            case "15.04":
               $relname = "(Vivid Vervet)";
               break;