Run of unchanged for gnome-user-docs

Try this locally (using silver-platter):

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

Full worker log Full build log