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