From dd5cc37aa465df8e33fd872de2528dc53740b2a6 Mon Sep 17 00:00:00 2001 From: David Robertson Date: Fri, 8 Apr 2022 14:36:09 +0100 Subject: Stop maintaining a list of lint targets in `lint.sh` (#12420) --- changelog.d/12420.misc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/12420.misc (limited to 'changelog.d/12420.misc') diff --git a/changelog.d/12420.misc b/changelog.d/12420.misc new file mode 100644 index 0000000000..e1965b0713 --- /dev/null +++ b/changelog.d/12420.misc @@ -0,0 +1 @@ +Stop maintaining a list of lint targets. -- cgit 1.5.1