doc/user: bugzilla → gitlab issue

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
(cherry picked from commit d9c82dbb7080bb70e4ce29f48a0aedb32410c230)

diff --git a/doc/user/reporting-bugs.rst b/doc/user/reporting-bugs.rst
index fdca452dcda8738f9670fa8fa08b09a06ebe34e8..29d7e60cedd87bd67c2b425a64f09003aebb7960 100644 (file)
--- a/doc/user/reporting-bugs.rst
+++ b/doc/user/reporting-bugs.rst
@@ -288,7 +288,7 @@ My bug was closed as fixed, what now?
 ------------------------------------------------------------------------------
 
 libinput's policy on closing bugs is: once the fix for a given bug is on git
-master, the bug is considered fixed and the bugzilla entry will be closed
+master, the bug is considered fixed and the gitlab issue will be closed
 accordingly.
 
 Of course, unless you actually run git master, the bug will continue to