From 3aa1d1283ac1f9c93d3cfa357719e11289b7b8b8 Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Wed, 21 Aug 2024 08:58:36 +0200 Subject: [PATCH] dev-ml/memtrace: fix bugs-to url Signed-off-by: Michael Mair-Keimberger Signed-off-by: Joonas Niilola --- dev-ml/memtrace/metadata.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/memtrace/metadata.xml b/dev-ml/memtrace/metadata.xml index 52496b9432717..7cafa41116e64 100644 --- a/dev-ml/memtrace/metadata.xml +++ b/dev-ml/memtrace/metadata.xml @@ -7,7 +7,7 @@ ML - https://gitlab.com/janestreet/memtrace/issues/ + https://github.com/janestreet/memtrace/issues/ janestreet/memtrace