Merge pull request #7378
da6d18b devtools: replace github-merge with python version (Wladimir J. van der Laan)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Jan 20 2016, 12:39 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCda6d18b6c7a4: devtools: replace github-merge with python version
rABC55781444130c: Merge #7350: Banlist updates - Branches
- Unknown
- Tags
Merged Changes
Merged Changes