Re: [Rd] Non-documentation of options() (PR#7079)

[maechler]

This is now fixed in R-patched (and R-devel).

Martin

______________________________________________
[EMAIL PROTECTED] mailing list
https://www.stat.math.ethz.ch/mailman/listinfo/r-devel