diff options
| author | David Robertson <davidr@element.io> | 2022-04-28 11:32:50 +0100 |
|---|---|---|
| committer | David Robertson <davidr@element.io> | 2022-04-28 11:33:05 +0100 |
| commit | 5d3509dfda607323892f1cc96d7421612816e803 (patch) | |
| tree | 7eb94bb066b8ed0b23fa160056b5e9bcdb29dd8e /changelog.d/12576.misc | |
| parent | changelog (diff) | |
| download | synapse-5d3509dfda607323892f1cc96d7421612816e803.tar.xz | |
Revert accidental direct-to-develop commits.
This reverts commit 5a320baa45b8e826e52bdd6cadadfad727ab0357. This reverts commit f282d5fc1185dde3f9ec31c49b630cff962545d7. This reverts commit ce6ecdd4b4939fd99418bc949b40c01d39480489.
Diffstat (limited to 'changelog.d/12576.misc')
| -rw-r--r-- | changelog.d/12576.misc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/changelog.d/12576.misc b/changelog.d/12576.misc deleted file mode 100644 index 71022c8633..0000000000 --- a/changelog.d/12576.misc +++ /dev/null @@ -1 +0,0 @@ -Allow unused `#type: ignore` comments in bleeding edge CI jobs. |