summary refs log tree commit diff
path: root/changelog.d/12531.misc
diff options
context:
space:
mode:
Diffstat (limited to 'changelog.d/12531.misc')
-rw-r--r--changelog.d/12531.misc1
1 files changed, 0 insertions, 1 deletions
diff --git a/changelog.d/12531.misc b/changelog.d/12531.misc
deleted file mode 100644

index 412fc9b6dc..0000000000 --- a/changelog.d/12531.misc +++ /dev/null
@@ -1 +0,0 @@ -Remove unused `# type: ignore`s.