OpenSpace / OpenSpace-AHTSE

Setup scripts and configuration files for OpenSpace map servers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

merge pull req?

pdelong42 opened this issue · comments

Hi Micah,

Since I'm a contributor now (thanks, btw), can I merge that pull-request? It's just one file, with no name collision, so it ought not to cause any issues.

  • Paul

The PR went through the cracks.. I just merged it in. Thanks for that :)