diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 11:00:46 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 11:00:46 +0100 |
commit | 2bb33cd402137f72861eda559c51014f48f6f633 (patch) | |
tree | 84ce339d612e8a8f648e95727c97e9cc54d70d16 /dev/tools/merge-pr.sh | |
parent | 9cac9db6446b31294d2413d920db0eaa6dd5d8a6 (diff) | |
parent | f53156a6d3819682dc888835abcef2b5320dab1b (diff) |
Merge PR #6290: Rename update to set, Fixes #6196
Diffstat (limited to 'dev/tools/merge-pr.sh')
0 files changed, 0 insertions, 0 deletions