Re: [patch rfa:doco rfc:NEWS] mi1 -> mi2; rm mi0

Eli Zaretskii
2002-09-30T05:01:09Z

On Sun, 29 Sep 2002, Andrew Cagney wrote:

> It modifies NEWS (comments?).

Fine with me.

> It updates the doco (ok?).

Yes, but perhaps the manual should also say that mi0 is no longer
supported.