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
schancel	Pushed on Jan 5 2018, 21:58
schancel	Pushed on Jan 5 2018, 21:39
schancel	Pushed on Jan 5 2018, 21:17

Parents

rSTAGINGca067dc9374d: Merge pull request #5053

Branches

Unknown

Tags

Unknown

Wladimir J. van der Laan <laanwj@gmail.com> committed rSTAGINGcd3269e38e08: 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/