Ubuntu

Comment 7 for bug 819158

Martin Pitt (pitti) wrote :

I unseeded gnome-user-docs now and will add it as a recommends to gnome-shell.