Auto merge of #126007 - ehuss:update-nomicon, r=ehuss

bors · bors · commit 554ef7857340 · 2024-06-05T02:27:33.000Z
Update nomicon Updates the nomicon to pull in rust-lang/nomicon#450 to fix toolstate.
diff --git a/src/doc/nomicon b/src/doc/nomicon
@@ -1 +1 @@
-Subproject commit 0d5f88475fe285affa6dbbc806e9e44d730797c0
+Subproject commit 0ebdacadbda8ce2cd8fbf93985e15af61a7ab895
