[Operators] Is the "Public Server Directory" still maintained?

[Ian Johannesen]

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