On Aug 11, 12:33 pm, Hannes Wallnoefer <[email protected]> wrote: > > https://bug509678.bugzilla.mozilla.org/attachment.cgi?id=393739 >
Sorry, that's the link to the patch, not the bug. This is the correct link: https://bugzilla.mozilla.org/show_bug.cgi?id=509678 Hannes _______________________________________________ dev-tech-js-engine-rhino mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-js-engine-rhino
