fdo-mirrors/libinput
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/libinput/libinput.git synced 2026-05-04 21:08:07 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc/user: bugzilla → gitlab issue

Browse source 
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
(cherry picked from commit d9c82dbb70)
This commit is contained in:
Peter Hutterer 2018-11-26 08:29:47 +10:00
parent 147fd9bf18
commit b31c5c9d67
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/user/reporting-bugs.rst
View file

@ -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