diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-08-21 08:38:19 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-08-21 08:39:37 +0200 |
commit | 8f0121c957a02bda283641d5de25c8b07dcadc10 (patch) | |
tree | c274fa4722b27e3c638becddfd133445fcbcd735 /INSTALL.md | |
parent | 1c4b9b31355fe86faf45f60e228003527fcee549 (diff) | |
parent | 008f64f80f30d91bcad6b4133ce98899c1da95aa (diff) |
Merge #11090: Update contributor names in release-notes.md
008f64f Update release-notes.md (Derek Miller)
Pull request description:
Eric Shaw Jr -> Eric Shaw (from GitHub profile)
gubatron -> Angel Leon (from GitHub profile)
jonnynewbs -> John Newbery (duplicate)
keystrike -> James Evans (duplicate)
Kibbled Jive Elk Zoo -> KibbledJiveElkZoo (duplicate)
kirit93 -> Kirit Thadaka (from GitHub profile)
NicolasDorier -> Nicolas Dorier (duplicate)
Tree-SHA512: c952e72cc82fd780532488fbd10b35918c9ac686cb6352b752a04ce5694bbdb7c2d3402b3187cdf4e5325e42e98cfacf2a95b565792cfdf7efeef1d369669e36
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions