From 641f788e1c4e877c3500e14eb0509fb8c771ea1c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 20 Jul 2020 15:26:26 +0200
Subject: [PATCH] [opam] update URL for bug reports

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

diff --git a/opam/opam b/opam/opam
index 9f715d2b74b..3ba784a7914 100644
--- a/opam/opam
+++ b/opam/opam
@@ -66,7 +66,7 @@ homepage: "http://frama-c.com/"
 license: "GNU Lesser General Public License version 2.1"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
 doc: "http://frama-c.com/download/user-manual-21.1-Scandium.pdf"
-bug-reports: "https://bts.frama-c.com/"
+bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
   "program verification"
-- 
GitLab