Subject: Re: bug#27047: 26.0.50; Scroll bar menu UI glitches [patch]
From: Stephen Berman <[email-masked]>
To: martin rudalics <[email-masked]>
Cc: [email-masked]
Date: Wed, 24 May 2017 13:39:00 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Wed, 24 May 2017 08:15:11 +0200 martin rudalics <[email-masked]> wrote:

> Fine.  Please install.

Done, as commit 08f00c01d6 and closing the bug.  (The commit also
removed the two functions that were no longer used as a result of the
change, which the patch I posted had overlooked.)

Steve Berman