1. 2015-09-24 Re: search command doesn't find anything grub-deve Andrei Borzenkov 2. 2015-09-24 search command doesn't find anything grub-deve Klemens Nanni