Merge

Merger proposal

I propose to merge Space Server into Space.local. From what I can tell, the pages appear to be about the same server. Although they have different inventory aliases (O:3 and O:15), so maybe I don't know the whole story.

Merging pages can be done at Special:MergeHistory. More info: https://www.mediawiki.org/wiki/Help:Merge_history

Do it! No need to ask permission. If somebody doesn't like a change, we can revert. Thanks.

I get this on Special:MergeHistory:

Permission error

You do not have permission to merge the history of this page, for the following reason:

The action you have requested is limited to users in the group: Administrators.

Congrats you're an admin now :)

Thanks. Merging... done.