diff options
| author | Christoph Blecker <admin@toph.ca> | 2018-07-13 11:59:00 -0700 |
|---|---|---|
| committer | Christoph Blecker <admin@toph.ca> | 2018-07-13 11:59:00 -0700 |
| commit | f36b353f42b15d8e7ac7cbcfcebef510e9ec577b (patch) | |
| tree | 2dc766fc9ec87ed4d4089237bbefc0dbfa466505 /github-management | |
| parent | ae474acdd72d1f06ddb5b6d57a52ea0c969b7322 (diff) | |
Fix sig-pm-leads alias
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions