On Feb 7, 10:43 pm, Ben Bucksch <[EMAIL PROTECTED]> wrote: > OK, you know bugzilla, right? File a bug.
in this case, there's no need for a bug. bugzilla is run by the same admins who would run the script required to correct mxr. unfortunately, the admin needs to spend time on bugzilla (it needs more ram) and that's more pressing than running some update scripts. for the time being, simply remove the extra pieces from the search result urls or use the seamonkey root (which does work as benb notes). _______________________________________________ dev-tech-crypto mailing list dev-tech-crypto@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-tech-crypto
