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

[Eli Zaretskii]

> From: Federico Tedin <federicotedin@gmail.com>
> Date: Sun, 30 Sep 2018 13:20:31 -0300
> Cc: 31240@debbugs.gnu.org
> 
> > although this still won't make your patch short enough to qualify as
> > "tiny change".  So if you haven't done so already, please start the
> > paperwork process so we can apply this patch.
> 
> This shouldn't be a problem, my copyright assignment was filed one or two 
> months
> ago, and since then I've contributed two patches which have already been 
> merged.

Your copyright assignment is already on file.