diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-07 19:39:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-07 19:39:33 -0500 |
| commit | e9638f613e0a7906beabf62238144ee47c28143c (patch) | |
| tree | edbac88d6d76308dd4bc70fb25262fb2ce32872f | |
| parent | fbc55435c58255a290a413eebeaa359a48ec20c6 (diff) | |
| parent | 6ae882f2307a195e9d94336c86faf9910e7a3179 (diff) | |
Auto merge of #1432 - fitzgen:patch-1, r=emilio
Met @pepyakin in person for the first time last night! Unfortunately …
…they don't have time for bindgen anymore
r? @pepyakin
| -rw-r--r-- | CONTRIBUTING.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 99589438..7077cdcb 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -313,7 +313,6 @@ Unsure who to ask for review? Ask any of: * `@emilio` * `@fitzgen` -* `@pepyakin` More resources: |