diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
| commit | 3a5e53720d7c648f98fdfb8bbb8091cb7f17d869 (patch) | |
| tree | 98a2d97075861094f4c9fcea244222ce2649198c /scripts/gh-push.py | |
| parent | 8c5a101a2009a9f5f1e3976f51f23e0f7da109aa (diff) | |
| parent | 539bc84f39ffaff04c99b7d10aac60275588dc79 (diff) | |
Merge tag 'v2.1.3' into debian/sid
Diffstat (limited to 'scripts/gh-push.py')
| -rwxr-xr-x[-rw-r--r--] | scripts/gh-push.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/gh-push.py b/scripts/gh-push.py index dd3b940..dd3b940 100644..100755 --- a/scripts/gh-push.py +++ b/scripts/gh-push.py |