From 1465e070429dcfe4d5870758a266096072647be8 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Fri, 16 Nov 2018 13:39:05 +0100
Subject: [PATCH] Update the link to std++

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 02359e0b7..8660251cb 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ document is [available online](http://plv.mpi-sws.org/iris/appendix-3.1.pdf).
 This version is known to compile with:
 
  - Coq 8.7.1 / 8.7.2 / 8.8.0 / 8.8.1 / 8.8.2
- - A development version of [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
+ - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
 
 For a version compatible with Coq 8.6, have a look at the
 [iris-3.1 branch](https://gitlab.mpi-sws.org/FP/iris-coq/tree/iris-3.1).
-- 
GitLab