Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!808
Replace some deprecated stuff
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:replace-deprecations
into
master
Nov 05, 2019
Overview
3
Commits
6
Pipelines
6
Changes
37
Expand
mutter!921 (merged)
removes some long-deprecated APIs, some of which are still used in gnome-shell.
Merge request reports