I committed the patch. Please let me know if you see any problems with it. Hannes
On Aug 12, 10:32 am, Rapha <[email protected]> wrote: > Awesome, thanks Hannes! > > On Aug 11, 12:36 pm, Hannes Wallnoefer <[email protected]> wrote: > > > 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
