Subject: bug#41351: 28.0.50; Cannot customize mouse-drag-and-drop-region-show-tooltip

From: Stefan Kangas <[email-masked]>
Date: Sun, 17 May 2020 06:55:45 -0700

close 41351 28.1
thanks

David Ponce <[email-masked]> writes:

> I agree, your patch is better, tags are clear and will fit better in
> the customize buffer.
>
> Also, good catch about when the option sets to 0 :-)
>
> Please feel free to apply.

Thanks!

Now pushed to master as commit a8f24a89d7.  Closing this bug.

Best regards,
Stefan Kangas