Commit 662b02c7 authored by Emmanuele Bassi's avatar Emmanuele Bassi

Tag gnome-shell

Mutter has been tagged, so we need to tag gnome-shell as well.
parent 44334442
Pipeline #90617 passed with stage
in 21 seconds
......@@ -1220,6 +1220,8 @@
{"src": "gnome:gnome-shell.git",
"name": "gnome-shell",
"tag": "fe346b89f03614c0189951ca173cbf88701d6423",
"tag-reason": "Mutter has been tagged",
"irc_room": "gnome-shell",
"config-opts": ["-Dgtk_doc=false",
"-Dman=false",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment