diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-04 12:05:40 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-04 12:05:40 +0100 |
| commit | 7713416477fd59348ad60d44f0ec3a3aebcf4b9f (patch) | |
| tree | 87463c7d5e4200404adb3233da0ad9d2b60c79ce /.gitignore | |
| parent | b1ac2dfec71ddbff5f3a28f19503811f62157c5e (diff) | |
| parent | 58ae6948c13d5fab61097b84a46147884cb4725d (diff) | |
Merge #1108
1108: Fix issue label link in docs/dev/README.md r=matklad a=pcpthm
Co-authored-by: pcpthm <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions