Merge pull request #5449
6e6a36c contrib: show pull # in prompt for github-merge script (Wladimir J. van der Laan)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Dec 9 2014, 14:33 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC6e6a36ce308a: contrib: show pull # in prompt for github-merge script
rABC09ac7f9e6d3f: Merge pull request #5427 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes