It's just this small patch: [1] But it requires large patches for gjs [2] or gjs >= 1.33.3.
Best, Tobias [1] http://bazaar.launchpad.net/~jbicha/gnome-documents/trunk/revision/876 [2] https://bugzilla.gnome.org/show_bug.cgi?id=591480 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org