gnome-shell-extensions : Code : “Gnome-Shell-Extensions developers” team

“Gnome-Shell-Extensions developers” team

created on 2017-09-11

Build status

Successfully built on lgw01-43

Started on 2017-09-11
Finished on 2017-09-11 (took 2 minutes, 31.4 seconds)
buildlog (13.8 KiB)

Build details

Recipe:: Recipe gnome-shell-extension-dashtodock for Gnome-Shell-Extensions developers

Archive:: gnome-shell-extensions

Series:: Artful

Pocket:: Release

Binary builds:: amd64 build of gnome-shell-extension-dashtodock 61-1+898~ubuntu17.10.1 in ubuntu artful RELEASE [~gnome-shell-extensions/ubuntu/ppa]