Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
Open
0
Merged
25
Closed
0
All
25
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
... and more style fixups
!608
· created
Jul 02, 2019
by
Florian Müllner
GNOME 3.34
master
1. Cleanup
Merged
2
updated
Jul 02, 2019
Fix more issues pointed out by eslint
!607
· created
Jul 01, 2019
by
Florian Müllner
GNOME 3.34
master
1. Cleanup
Merged
1
updated
Jul 08, 2019
Fix some issues pointed out by eslint
!606
· created
Jul 01, 2019
by
Florian Müllner
GNOME 3.34
master
1. Cleanup
Merged
1
updated
Jul 01, 2019
More minor bug fixes
!388
· created
Feb 04, 2019
by
Florian Müllner
master
Merged
1
updated
Feb 12, 2021
Fix bugs pointed out by ESlint
!375
· created
Jan 30, 2019
by
Florian Müllner
master
Merged
1
updated
Feb 12, 2021
Prev
1
2
Next