I can consistently reproduce this bug on Ubuntu 16.04.6 LTS. The search still completes, but I don't get the number of matches on the bottom that I get when the search succeeds. Is there a way print this even when the search fails?


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.