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

From: Federico Tedin <[email-masked]>
Date: Thu, 18 Oct 2018 21:02:48 -0300

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

Is this something I should do? (If so, how?)

> Thanks for the work, martin

Thanks for your help.