marting at gmx.ch writes: > Hi, > > When exit_minibuffer is called and match_required is true, I think it > is better to add the match than to add the minibuffer text to the > minibuffer history. The following patch implements that. > Applied, thank you. -- John Foerch