Skip to content
GitLab
Explore
Sign in
Teams
Websites
apps.gnome.org
Merge requests
!71
Fix clippy warning
Code
Review changes
Check out branch
Download
Patches
Plain diff
Julian Hofer
requested to merge
fix-clippy
into
main
Dec 20, 2023
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Merge request reports