bug#2042: Ido-mode : filtering does not keep ordering

[Matthew Woodcraft]

On 29 Oct 2011, Chong Yidong <cyd@gnu.org> wrote:
> Thanks. I guess since at least two users of ido have complained about
> this behavior, and no one else has chimed in, we can go ahead and make
> this change after the release.

I've been running with Leo's patch from this bug report for a couple of
months.

I also think that the changed behaviour is an improvement, and I've seen
no problems.

So could this be considered before the 24.3 freeze?

-M-