(svn r26055) -Codechange: mark switch default as really not triggerable, as technically it's dead code

src/network/network_gui.cpp

@@ -835,7 +835,7 @@ public:
 					/* jump to end */
 					this->list_pos = this->servers.Length() - 1;
 					break;
-				default: break;
+				default: NOT_REACHED();
 			}
 
 			this->server = this->servers[this->list_pos];