From 6d4f9e78f219edbf81563ac0a37d6fa147fd4bab Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 27 Nov 2023 10:20:36 +0200
Subject: [PATCH] Add opam pin revert step to releasing guide

---
 docs/developer-guide/releasing.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/developer-guide/releasing.md b/docs/developer-guide/releasing.md
index 4f49399f13..fcf69ea533 100644
--- a/docs/developer-guide/releasing.md
+++ b/docs/developer-guide/releasing.md
@@ -57,6 +57,7 @@
 
 15. Create an opam package: `dune-release opam pkg`.
 16. Submit the opam package to opam-repository: `dune-release opam submit`.
+17. Revert temporary removal of opam pins.
 
 
 ## SV-COMP