From 98e0847a1bb4c5c78f7da88b9d5896bc67f402ba Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 20 Feb 2017 11:34:37 +0000
Subject: [PATCH] conex PR merged

---
 Posts/Conex | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Posts/Conex b/Posts/Conex
index 5c6ffa2..8f8e4c6 100644
--- a/Posts/Conex
+++ b/Posts/Conex
@@ -127,11 +127,9 @@ Each resource can be approved in multiple versions at the same time.
 ### Installation
 
 TODO: remove clone once [PR 8494](https://github.com/ocaml/opam-repository/pull/8494) is merged.
-TODO: remove pin once [PR 8493](https://github.com/ocaml/opam-repository/pull/8493) is merged.
 
 ```bash
 $ git clone -b auth https://github.com/hannesm/opam-repository.git repo
-$ opam pin add conex https://github.com/hannesm/conex.git
 $ opam install conex
 $ cd repo
 ```