contrib: revert changes to github-merge.sh in #5038
cd3269e38e08Unpublished
Actions

Unpublished Commit · Learn More

Repository Importing: This repository is still importing.

contrib: revert changes to github-merge.sh in #5038

Provenance

Wladimir J. van der Laan <laanwj@gmail.com>	Authored on Oct 7 2014, 07:34
deadalnix	Pushed on May 14 2017, 22:04

Parents

rABCca067dc9374d: Merge pull request #5053

Branches

Unknown

Tags

Unknown

Wladimir J. van der Laan <laanwj@gmail.com> committed rABCcd3269e38e08: contrib: revert changes to github-merge.sh in #5038 (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Oct 7 2014, 08:00

Path

Size

contrib/

devtools/