Add Arriba to the list of servers #7

Merged
merged 1 commit into from Aug 13, 2015

Conversation

Projects
None yet
2 participants
Contributor

odyniec commented Nov 18, 2013

No description provided.

Contributor

odyniec commented Apr 14, 2014

Any chance for this to be merged? :)

@miyagawa miyagawa added a commit that referenced this pull request Aug 13, 2015

@miyagawa miyagawa Merge pull request #7 from odyniec/master
Add Arriba to the list of servers
477ee81

@miyagawa miyagawa merged commit 477ee81 into miyagawa:master Aug 13, 2015

Owner

miyagawa commented Aug 13, 2015

Sorry that it's taken so long!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment