Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell
Merge requests
!2317
build: Bump mutter API version
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:mutter-api
into
main
May 31, 2022
Overview
0
Commits
1
Pipelines
4
Changes
1
Expand
We started a new development cycle when branching, reflect that by bumping the mutter API version.
Merge request reports