changelog

pull/12579/head
David Robertson 2022-04-28 11:31:26 +01:00
parent f282d5fc11
commit 5a320baa45
No known key found for this signature in database
GPG Key ID: 903ECE108A39DEDD
1 changed files with 1 additions and 0 deletions

1
changelog.d/12576.misc Normal file
View File

@ -0,0 +1 @@
Allow unused `#type: ignore` comments in bleeding edge CI jobs.