** Tags added: patch -- You received this bug notification because you are a member of Ubuntu Review Team, which is a direct subscriber. https://bugs.launchpad.net/bugs/695069 Title: gnome-doc-tool crashes when converting .page files