diff options
| author | Enrico Tassi | 2020-05-18 18:16:13 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-18 18:16:13 +0200 |
| commit | e1e4073f551c34cbaf5b510c3e2eaa11df8b095a (patch) | |
| tree | e94f0338a9f3b3b582b641ad26edf4c68aa455a2 /dev/tools/github-check-prs.py | |
| parent | ea6cb6b542e8c356192bb77f234586e0f6d55c8c (diff) | |
Update release-process.md
Diffstat (limited to 'dev/tools/github-check-prs.py')
0 files changed, 0 insertions, 0 deletions