From 60f511ad309bca3704235ada81cbfa9685015aaa Mon Sep 17 00:00:00 2001
From: Razz4780 <msmolarekg@gmail.com>
Date: Mon, 3 Feb 2025 14:16:35 +0100
Subject: [PATCH] Mention original PR in the doc

---
 mirrord/protocol/src/codec.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mirrord/protocol/src/codec.rs b/mirrord/protocol/src/codec.rs
index 755af7fd1d0..7310abb130d 100644
--- a/mirrord/protocol/src/codec.rs
+++ b/mirrord/protocol/src/codec.rs
@@ -96,7 +96,8 @@ pub enum FileRequest {
     UnlinkAt(UnlinkAtRequest),
     /// Currently never sent from the layer.
     ///
-    /// Removed due to issues with Go.
+    /// This variant was added in [this PR](https://github.com/metalbear-co/mirrord/pull/3018).
+    /// It was later removed due to issues with Go.
     StatFs(StatFsRequest),
 }