Subject: Re: bug#23707: 25.0.94; Regression in mouse-set-region

From: martin rudalics <[email-masked]>
Date: Thu, 09 Jun 2016 10:38:12 +0200

>> Meanwhile we should apply the fix to the release branch, I suppose?
 >
 > Yes, thanks.

Done now.  Bug closed.

Thanks (in particular for the fine report), martin