Commit ab20bcb1 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix outdated URL for issue tracker (fix issue #145).

parent 801549cd
......@@ -213,7 +213,7 @@ There is a public mailing list for users' discussions:
\url{http://lists.gforge.inria.fr/mailman/listinfo/why3-club}.
Report any bug to the \why Bug Tracking System:
\url{https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse}.
\url{https://gitlab.inria.fr/why3/why3/issues}.
\subsection*{Acknowledgements}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment