Subject: bug#31371: 26.1; Menu-bar stops working after search

From: Stefan Kangas <[email-masked]>
Date: Mon, 14 Oct 2019 14:44:21 +0200

> Thanks for testing. Updated patch attached.

Thanks.  Are there any objections to installing this fix?

Best regards,
Stefan Kangas