diff options
| author | David Robertson <davidr@element.io> | 2022-11-14 13:46:29 +0000 | 
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-14 13:46:29 +0000 | 
| commit | 2cc592584ae9f225216b7663e9144ac6f565b757 (patch) | |
| tree | 24803060a64b17e1b21b0a74082c5bc9e33143bb /scripts-dev/release.py | |
| parent | Clean-up events persistance code (#14411) (diff) | |
| download | synapse-2cc592584ae9f225216b7663e9144ac6f565b757.tar.xz | |
Remove unused type-ignores (#14433)
* Remove unused type-ignores Oversights in #14427 and #14429. * Changelog
Diffstat (limited to 'scripts-dev/release.py')
| -rwxr-xr-x | scripts-dev/release.py | 4 | 
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts-dev/release.py b/scripts-dev/release.py  | 
