Did the GDB wiki user list get pruned?

[Sergio Durigan Junior]

On Friday, October 10 2014, Frank Ch. Eigler wrote:

> There is regular automatic cleanup of wiki users at sourceware.
> It is designed to exclude users in the EditorGroup however; so this
> should not be happening to your account.  I'll keep an eye on it.

According to <https://sourceware.org/gdb/wiki/EditorGroup?action=info>,
Phil was not listed since the beginning, so that may explain...

-- 
Sergio
GPG key ID: 0x65FC5E36
Please send encrypted e-mail if possible
http://sergiodj.net/