Server 9 hasn't been merged yet, so it doesn't fall under the category of "already merged".

Server Merge Request

I still would recommend posting your server information here, as the mods are compiling a list of servers that are needing a merge, if you haven't done so already.