fix accidental paste

DJMrTV · DJMrTV · commit ff72760aead1 · 2025-01-14T19:41:15.000+01:00
diff --git a/library/core/src/pin.rs b/library/core/src/pin.rs
@@ -1,4 +1,3 @@
-Agent pid 43580
 //! Types that pin data to a location in memory.
 //!
 //! It is sometimes useful to be able to rely upon a certain value not being able to *move*,

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-Agent pid 43580`
`2`	`1`	`//! Types that pin data to a location in memory.`
`3`	`2`	`//!`
`4`	`3`	`//! It is sometimes useful to be able to rely upon a certain value not being able to move,`