In article <[EMAIL PROTECTED]>,
 Ulf Dittmer <[EMAIL PROTECTED]> wrote:

> The bug -if it is one- is still present in Rhino 1.7R2pre. Should I file 
> an official bug report?

Oops, instead of replying to the original I created a new post :-(

The original post can be found at 
http://article.gmane.org/gmane.comp.mozilla.devel.jseng.rhino/506
_______________________________________________
dev-tech-js-engine-rhino mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-tech-js-engine-rhino

Reply via email to