readline() (PR#147)
Thu, 25 Mar 1999 17:53:20 +0100 wrote somewhat hastily:
> This is PR#12 (menu buglet) which was reported
> fixed on Feb 17 and now resides in In-Out-Fixed.
> Martyn

No it isn't. It is in fact _caused_ by the fix to
that problem, which I provided. Sorry!

r-devel mailing list -- Read
Send "info", "help", or "[un]subscribe"
(in the "body", not the subject !)  To: