Correct duplicate names in release notes #7548

pull fanquake wants to merge 1 commits into bitcoin:0.12 from fanquake:fix-release-note-names changing 1 files +2 −5

fanquake commented at 3:56 AM on February 17, 2016: member

Fixes #7547
Fix duplicate names in release notes
Fixes #7547
ea52530906

in doc/release-notes.md:None in ea52530906

 861 |  - Patrick Strateman
 862 |  - Paul Georgiou
 863 |  - Paul Rabahy
 864 | -- paveljanik
 865 | -- Pavel Janík
 866 | +- Pavel Janík / paveljanik

luke-jr commented at 4:05 AM on February 17, 2016:

Not sure the lowercase-and-concatenated form is needed here.

laanwj added the label Docs and Output on Feb 17, 2016
laanwj commented at 8:34 AM on February 17, 2016: member

LGTM
laanwj merged this on Feb 17, 2016
laanwj closed this on Feb 17, 2016
laanwj referenced this in commit 188ca9c305 on Feb 17, 2016
fanquake deleted the branch on May 12, 2016
DrahtBot locked this on Sep 8, 2021

Contributors

Labels

Linked (view graph)

#7547 rc5 release note credits typo?