bug#31783: [PATCH v2] ido.el: define a special ido-fallback variable

[Eli Zaretskii]

> From: Christophe Junke <junke.christophe@gmail.com>
> Date: Fri, 22 Jun 2018 10:24:44 +0200
> Cc: Noam Postavsky <npostavs@gmail.com>, 31783@debbugs.gnu.org
> 
>  > And what's the copyright situation?
> 
>  There's no assignment.
> 
> I am willing to assign copyright for this change (and future changes).
> Can you send me a form?

For sent off-list.  However, this patch is small enough to be accepted
without waiting for the legal paperwork to be completed.

Thanks.