From 6e31f30ac5e892e9e2a27a4d1644bfa9560d47a5 Mon Sep 17 00:00:00 2001
From: GHA CI <gha@ci.invalid>
Date: Mon, 27 Nov 2023 20:38:34 +0000
Subject: [PATCH] Automatic deploy to GitHub Pages:
 003e910760ef75196ca26e29c4fc83c2f418f693

---
 master/lints.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/master/lints.json b/master/lints.json
index a9739e901aea..c03deca1b010 100644
--- a/master/lints.json
+++ b/master/lints.json
@@ -949,7 +949,7 @@
     "id": "cmp_null",
     "id_span": {
       "path": "src/ptr.rs",
-      "line": 92
+      "line": 94
     },
     "group": "style",
     "level": "warn",
@@ -3278,7 +3278,7 @@
     "id": "invalid_null_ptr_usage",
     "id_span": {
       "path": "src/ptr.rs",
-      "line": 148
+      "line": 150
     },
     "group": "correctness",
     "level": "deny",
@@ -5455,7 +5455,7 @@
     "id": "mut_from_ref",
     "id_span": {
       "path": "src/ptr.rs",
-      "line": 125
+      "line": 127
     },
     "group": "correctness",
     "level": "deny",
@@ -6880,7 +6880,7 @@
     "id": "ptr_arg",
     "id_span": {
       "path": "src/ptr.rs",
-      "line": 62
+      "line": 64
     },
     "group": "style",
     "level": "warn",