Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

doc: move 5 collaborators to emeritus status #21272

Closed
wants to merge 1 commit into from
Closed

doc: move 5 collaborators to emeritus status #21272

wants to merge 1 commit into from

Commits on Jun 11, 2018

  1. doc: move 5 collaborators to emeritus status 

    Move 5 Collaborators to emeritus status. These particular five
Collaborators have done some great stuff, but have been relatively
inactive during the last two years or so. (They have been asked via
email if they would like to remain Collaborators or more to Emeritus.
This isn't a suddent thing.)
    @Trott
    Trott committed Jun 11, 2018
    Configuration menu
    Copy the full SHA
    709aba6 View commit details
    Browse the repository at this point in the history