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.