Skip to content

meta: move jhamhader to Collaborator Emeriti list

Rodrigo Muino Tomonari requested to merge github/fork/Trott/jhamhader2emeritus into master

Yuval confirmed in email that it's OK to move them to the Emeriti list.

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

Merge request reports