Re: AUTO_COMPOSED_PROP_IDX unused?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: Chong Yidong <address@hidden>, address@hidden, address@hidden
> Date: Tue, 01 Dec 2009 16:47:58 -0500
> 
> >> > 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.
> 
> Please just remove it.  It's 100% unused, there's no risk of it
> introducing bugs.

Done.