From 9966eb10a3671958992b57d723fab27b57b6faff Mon Sep 17 00:00:00 2001 From: Mathieu Velten Date: Tue, 13 Jun 2023 14:30:51 +0200 Subject: 1.86.0rc1 --- changelog.d/15752.misc | 1 - 1 file changed, 1 deletion(-) delete mode 100644 changelog.d/15752.misc (limited to 'changelog.d/15752.misc') diff --git a/changelog.d/15752.misc b/changelog.d/15752.misc deleted file mode 100644 index 7e373b1275..0000000000 --- a/changelog.d/15752.misc +++ /dev/null @@ -1 +0,0 @@ -Speed up typechecking CI. -- cgit 1.4.1