From 87304c318ffdc4045c8949fd4005e322b5a55e9e Mon Sep 17 00:00:00 2001 From: GHA CI Date: Thu, 7 Sep 2023 14:07:43 +0000 Subject: [PATCH] Automatic deploy to GitHub Pages: 6150bf5b9219f2cd3e5494fbe4d3c87baf0f036e --- master/lints.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/master/lints.json b/master/lints.json index 91e23504b642..8d9065edca1e 100644 --- a/master/lints.json +++ b/master/lints.json @@ -4301,7 +4301,7 @@ "id": "manual_range_patterns", "id_span": { "path": "src/manual_range_patterns.rs", - "line": 33 + "line": 35 }, "group": "complexity", "level": "warn",