Re: ifinfo vs ifnottex

[Eli Zaretskii]

> Date: Sat, 20 May 2006 12:55:00 -0500
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden
> 
> If you feel like adding targets for them too, though, I see no harm in
> it -- personally, it's not something I would see as a high priority.

It's up to Richard.  Personally, I don't think we should bother before
the release of v22.1.

Thanks for the input.