Subject: Re: bug#30182: Update

From: Sujith <[email-masked]>
Date: Sun, 28 Jan 2018 06:23:42 +0530

martin rudalics <[email-masked]> writes:
> I checked in a fix to the basic routine deciding which text to show in
> the tooltip.  Please retry with latest master.
>
> If the crash still occurs please proceed as follows:

I checked with master and the crash no longer happens.

Thanks for fixing this issue !