The bug -if it is one- is still present in Rhino 1.7R2pre. Should I file 
an official bug report?
_______________________________________________
dev-tech-js-engine-rhino mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-tech-js-engine-rhino

Reply via email to