summary refs log tree commit diff
path: root/changelog.d/12576.misc
diff options
context:
space:
mode:
authorDavid Robertson <davidr@element.io>2022-04-28 11:32:50 +0100
committerDavid Robertson <davidr@element.io>2022-04-28 11:33:05 +0100
commit5d3509dfda607323892f1cc96d7421612816e803 (patch)
tree7eb94bb066b8ed0b23fa160056b5e9bcdb29dd8e /changelog.d/12576.misc
parentchangelog (diff)
downloadsynapse-5d3509dfda607323892f1cc96d7421612816e803.tar.xz
Revert accidental direct-to-develop commits.
This reverts commit 5a320baa45b8e826e52bdd6cadadfad727ab0357.
This reverts commit f282d5fc1185dde3f9ec31c49b630cff962545d7.
This reverts commit ce6ecdd4b4939fd99418bc949b40c01d39480489.
Diffstat (limited to '')
-rw-r--r--changelog.d/12576.misc1
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.