Skip to content
GitLab
Explore
Sign in
Register
libinput
libinput
Merge requests
!136
Switch Ubuntu CI to 18.10
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Hutterer
requested to merge
wip/ubuntu-18.10
into
master
Dec 05, 2018
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Fixes
#175 (closed)
Merge request reports