diff options
author | David Robertson <davidr@element.io> | 2022-04-28 11:31:26 +0100 |
---|---|---|
committer | David Robertson <davidr@element.io> | 2022-04-28 11:31:26 +0100 |
commit | 5a320baa45b8e826e52bdd6cadadfad727ab0357 (patch) | |
tree | 4c4350efdf29424900fcb3711404be32f5b28ba9 /changelog.d/12576.misc | |
parent | Use `--extras all` in latest deps mypy CI (diff) | |
download | synapse-5a320baa45b8e826e52bdd6cadadfad727ab0357.tar.xz |
changelog
Diffstat (limited to '')
-rw-r--r-- | changelog.d/12576.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/12576.misc b/changelog.d/12576.misc new file mode 100644 index 0000000000..71022c8633 --- /dev/null +++ b/changelog.d/12576.misc @@ -0,0 +1 @@ +Allow unused `#type: ignore` comments in bleeding edge CI jobs. |