Skip to content

doc: move 5 collaborators to emeritus status

Rodrigo Muino Tomonari requested to merge github/fork/Trott/emeriti-5 into master

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.)

/ping @micnic @imran-iq @rmg @robertkowalski @romankl In case you missed the email or whatever, feel absolutely free to leave a comment here if you'd prefer to remain in the active list. You can also choose to become active again at some point in the future if you don't feel strongly about it right now but do later.

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • documentation is changed or added
  • commit message follows commit guidelines

Merge request reports