From f88c48f3b88dc4817bb4072d67152182f72158ce Mon Sep 17 00:00:00 2001 From: Richard van der Hoff Date: Mon, 27 Jul 2020 16:57:40 +0100 Subject: 1.18.0rc1 --- changelog.d/7914.misc | 1 - 1 file changed, 1 deletion(-) delete mode 100644 changelog.d/7914.misc (limited to 'changelog.d/7914.misc') diff --git a/changelog.d/7914.misc b/changelog.d/7914.misc deleted file mode 100644 index 710553249c..0000000000 --- a/changelog.d/7914.misc +++ /dev/null @@ -1 +0,0 @@ -Lint the `contrib/` directory in CI and linting scripts, add `synctl` to the linting script for consistency with CI. -- cgit 1.5.1