diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 17:37:59 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 17:38:59 +0200 |
| commit | a4170ba3d5cd5c729162cfdbcfca3710a8c0d0de (patch) | |
| tree | 584949cc483119405878f6f865f7b81465726f5f /people | |
| parent | e31b7519f5b89f52a7b8761775448de85e407bce (diff) | |
static-api: explicitly list github team members
This will allow the list of members to be expanded in the future.
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions