Run of unchanged for gnome-user-docs

Try this locally (using silver-platter):

debian-svp just-build --revision=git-v1:fd5fca6e88009d8f73ca443930d4e6a4dd4c9380 gnome-user-docs 

Publish History

Full worker log Full build log