All ProjectsArch LinuxCommunity PackagesPacmanRelease Engineering Switch

Show Task #

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

Tasklist

FS#15910 - [devhelp] 0.23-3 search doesn't work with newer WebKits

Task Type Bug Report Category Packages: Extra Status Closed Assigned To Jan de Groot (JGC) Architecture All Severity Low Priority Normal Reported Version Due in Version Undecided Due Date Undecided Percent Complete Votes 0 Private No

Details Description: The search function doesn't work in devhelp due to a change in behaviour in WebKit. Additional info: The patch at http://git.gnome.org/cgit/devhelp/patch/?id=af67fbedccab5044808a489a9f3a5540d42adcf2 fixes this. Steps to reproduce: Try to use devhelp's search function. See that it ends in an error.