From 3ef67e69d1e05f93815e524ae7ebc2eb4d0f7732 Mon Sep 17 00:00:00 2001 From: Peter Hutterer Date: Wed, 25 Jul 2018 21:09:12 +1000 Subject: [PATCH] doc: fix the url where to file a new bug --- doc/reporting-bugs.dox | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/reporting-bugs.dox b/doc/reporting-bugs.dox index be2574d..62c61e0 100644 --- a/doc/reporting-bugs.dox +++ b/doc/reporting-bugs.dox @@ -2,7 +2,7 @@ @page reporting_bugs Reporting bugs A new bug can be filed here: -https://gitlab.freedesktop.org/libinput/libinput +https://gitlab.freedesktop.org/libinput/libinput/issues/new @note libinput has lots of users but very few developers. It is in your own interested to follow these steps precisely to ensure your bug can be @@ -21,7 +21,7 @@ and provide the required data. You will need: - @ref reporting_bugs_other - the @ref reporting_bugs_version "libinput version" you are on. - the @ref reporting_bugs_options "configuration options" you have set -- a bugzilla account +- a [gitlab account](https://gitlab.freedesktop.org/users/sign_in) Stay technical, on-topic, and keep the description concise. -- 2.7.4