Subject: bug#31240: 26.1; mouse-save-then-kill does not kill rectangles

From: martin rudalics <[email-masked]>
Date: Wed, 17 Oct 2018 09:28:15 +0200

> OK.  If there are no further objections I'll install that.

Done with commit 134ba45bf0c11048c44a46c11d5dc8da12ca4d3e on master.

Please close bug#31240 if nothing else remains to be done.

Thanks for the work, martin