From d9c82dbb7080bb70e4ce29f48a0aedb32410c230 Mon Sep 17 00:00:00 2001 From: Peter Hutterer Date: Mon, 26 Nov 2018 08:29:47 +1000 Subject: [PATCH] =?UTF-8?q?doc/user:=20bugzilla=20=E2=86=92=20gitlab=20iss?= =?UTF-8?q?ue?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Peter Hutterer --- doc/user/reporting-bugs.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user/reporting-bugs.rst b/doc/user/reporting-bugs.rst index fdca452d..29d7e60c 100644 --- 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