Re: AUTO_COMPOSED_PROP_IDX unused?

[Eli Zaretskii]

> From: Chong Yidong <address@hidden>
> Cc: Kenichi Handa <address@hidden>, address@hidden
> Date: Tue, 01 Dec 2009 10:55:49 -0500
> 
> Eli Zaretskii <address@hidden> writes:
> 
> > Yidong, do you still want to wait with this until after v23.2, or can
> > I go ahead and delete AUTO_COMPOSED_PROP_IDX?
> 
> If you really want to do it, I won't insist, even though the benefit
> seems minimal.

I don't insist, either.  The only "benefit" is that I could otherwise
forget about this nit.

I could submit a bug instead, if you prefer that.