From d6b5c52573a714e46ae2934334872f6d8fb9391a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 15 Jul 2020 17:41:37 +0200
Subject: [PATCH] acknowledge that we have a team of contributors now

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 93bfee1a..d2fb6e7a 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
-authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
+authors: "The std++ team"
 license: "BSD"
 homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
-- 
GitLab