Update src/librustdoc/core.rs

RalfJung · May 28, 2020 · 0e3b31c · 0e3b31c
1 parent db684be
commit 0e3b31c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/librustdoc/core.rs b/src/librustdoc/core.rs
@@ -228,7 +228,7 @@ where
 
     // Whitelist feature-gated lints to avoid feature errors when trying to
     // allow all lints.
-    // FIXME(LeSeulArtichaut): handle feature-gated lints properly.
+    // FIXME(#72694): handle feature-gated lints properly.
     let unsafe_op_in_unsafe_fn_name = rustc_lint::builtin::UNSAFE_OP_IN_UNSAFE_FN.name;
 
     whitelisted_lints.push(warnings_lint_name.to_owned());