[debbugs-tracker] Processed (with 1 errors): Re: bug#9724: 24.0.90; ido-mode does not kill completions buffers

[GNU bug Tracking System]

Processing commands for address@hidden:

> merge 9724 9639
bug#9639: 24.0.90; Problem with bury-buffer in minibuffer-hide-completions
bug#9724: 24.0.90; ido-mode does not kill completions buffers
Mismatch - only bugs in same state can be merged:
Values for `done mark' don't match:
 #9639 has `done';
 #9724 has `open'

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/