diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-12-09 15:33:58 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-12-09 15:34:02 +0100 |
| commit | 0a1d03ca5265293e6419b0ffb68d277da6b1d9a0 (patch) | |
| tree | a5b3c2dba5815306d3d32df4b22ba5d398457aac /qa | |
| parent | 09ac7f9e6d3f4d57453e9c54f376eb67f035a86c (diff) | |
| parent | 6e6a36ce308ae81529027b6e18f7ba1aeabe8dd7 (diff) | |
Merge pull request #5449
6e6a36c contrib: show pull # in prompt for github-merge script (Wladimir J. van der Laan)
Diffstat (limited to 'qa')
0 files changed, 0 insertions, 0 deletions