Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!840
polkitAgent: Fix spinner
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:fix-polkit-spinner
into
master
Nov 21, 2019
Overview
1
Commits
1
Pipelines
2
Changes
1
Expand
Commit
6af25b28
accidentally changed the case of the property.
Merge request reports