mirror of
https://github.com/github/semantic.git
synced 2024-12-27 00:44:57 +03:00
Merge pull request #2137 from github/change-port
Change default port from 8080 to 8001
This commit is contained in:
commit
9de677ecc5