Hi,
On 13/01/15 18:03, Peter Saint-Andre - &yet wrote:
On 1/13/15 9:55 AM, John Spanos wrote:
Is the directory still maintained or it just takes time to process the
requests?
I've been thinking we need a better process than just me handling
these requests in my spare time, because I don't have any of that.
What about pull requests to the github repo?
This solution sounds as the easiest to me - and I've already sent you a
pull-req for the server I wanted to have added last year.
--
Digitally yours,
Ian Johannesen
