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

From: Robert Pluim <[email-masked]>
Date: Mon, 14 Oct 2019 14:55:54 +0200

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

    >> Thanks for testing. Updated patch attached.
    Stefan> Thanks.  Are there any objections to installing this fix?

LGTM.

Robert