bump gnome-devel-docs-3.10.1