diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-03-14 07:33:43 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-03-14 07:38:17 +0100 |
commit | cce056d72918a17ffd7a48373e6f651d025ddc05 (patch) | |
tree | 06c554f84c450923774a1a1dcad5cc04ef15224f /qa | |
parent | 8040ae6fc576e9504186f2ae3ff2c8125de1095c (diff) | |
parent | a327e8ea30e10abdce910a3e37c78e00d0918548 (diff) |
Merge #9984: devtools: Make github-merge compute SHA512 from git, instead of worktree
a327e8e devtools: Make github-merge compute SHA512 from git, instead of worktree (Wladimir J. van der Laan)
Tree-SHA512: 22ec7712876be4ab361015a2dd75a09628ec59105ffe3260126f899d8f3ff8666351b65b9a4dfe83f78eb777730442cd0352b155d7f573424f7fc1c4dbc0ddd2
Diffstat (limited to 'qa')
0 files changed, 0 insertions, 0 deletions