Upstream figured out this actually is a WebKit bug. It should have been fixed by this changeset: <http://trac.webkit.org/changeset/51380> and thus in WebKit 1.1.17.
** Bug watch added: GNOME Bug Tracker #601048 https://bugzilla.gnome.org/show_bug.cgi?id=601048 ** Changed in: devhelp Remote watch: GNOME Bug Tracker #601972 => GNOME Bug Tracker #601048 ** Package changed: devhelp (Ubuntu) => webkit (Ubuntu) ** Bug watch added: bugs.webkit.org/ #31866 https://bugs.webkit.org/show_bug.cgi?id=31866 ** Also affects: webkit via https://bugs.webkit.org/show_bug.cgi?id=31866 Importance: Unknown Status: Unknown -- devhelp crashed when navigating up/down to the end the contents sidebar https://bugs.launchpad.net/bugs/454264 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
