diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2018-11-26 08:29:47 +1000 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2018-11-27 11:28:18 +1000 |
| commit | d9c82dbb7080bb70e4ce29f48a0aedb32410c230 (patch) | |
| tree | a02506e228596bc1d37b9ed789602dbaa5b4468b | |
| parent | 3bb62c973242957242061be86c90fa7f51df7789 (diff) | |
doc/user: bugzilla → gitlab issue
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
| -rw-r--r-- | doc/user/reporting-bugs.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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 |