summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAnton Kochkov <xvilka@gmail.com>2019-03-25 21:08:29 +0800
committerAnton Kochkov <anton.kochkov@gmail.com>2019-03-25 21:23:11 +0800
commit4405395e9fb8c1ebcde60d5f87e453acadecc04d (patch)
tree458e03fde5871d7d44ce81d40c0efb312ba6eb7f /tools
parent1211b9cfbe1686dcfdfb17e0cc421ed7cb637d93 (diff)
downloadocaml-4405395e9fb8c1ebcde60d5f87e453acadecc04d.tar.gz
Fix the bug reporting URL in release-checklist
Diffstat (limited to 'tools')
-rw-r--r--tools/release-checklist2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release-checklist b/tools/release-checklist
index 01b77f15b8..f6fa6c3269 100644
--- a/tools/release-checklist
+++ b/tools/release-checklist
@@ -407,7 +407,7 @@ opam switch create ocaml-variants.4.08.0+beta1+<VARIANT> --repositories=default,
fp+flambda
We want to know about all bugs. Please report them here:
- http://caml.inria.fr/mantis/bug_report_page.php
+ https://github.com/ocaml/ocaml/issues
Happy hacking,