From 1d7cd7feac0878087c1210ece4974490ba3e5b85 Mon Sep 17 00:00:00 2001
From: Andreas Klebinger <klebinger.andreas@gmx.at>
Date: Tue, 29 Oct 2024 13:09:11 +0100
Subject: [PATCH] Add since tag for -fwrite-if-compression in user guide.

Partial fix for #25395
---
 docs/users_guide/using-optimisation.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst
index adc88835326..b99c68a3202 100644
--- a/docs/users_guide/using-optimisation.rst
+++ b/docs/users_guide/using-optimisation.rst
@@ -1851,6 +1851,8 @@ as such you shouldn't need to set any of them explicitly. A flag
 
     :default: 2
 
+    :since: 9.12.1
+
     This flag defines the level of compression of interface files when writing to disk.
     The higher the flag, the more we deduplicate the interface file, at the cost of a higher compilation time.
     Deduplication (when applied to :ghc-flag:`--make` mode and :ghc-flag:`--interactive` mode) decreases the size of interface files as well as reducing
-- 
GitLab