[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#31240: 26.1; mouse-save-then-kill does not kill rectangles
From: |
Eli Zaretskii |
Subject: |
bug#31240: 26.1; mouse-save-then-kill does not kill rectangles |
Date: |
Sun, 30 Sep 2018 20:18:52 +0300 |
> 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.
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, (continued)
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/23
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Charles A. Roelli, 2018/09/24
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/25
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Charles A. Roelli, 2018/09/27
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/27
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, martin rudalics, 2018/09/28
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/29
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, martin rudalics, 2018/09/30
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Charles A. Roelli, 2018/09/30
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/30
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles,
Eli Zaretskii <=
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, martin rudalics, 2018/09/30
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Federico Tedin, 2018/09/30
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Charles A. Roelli, 2018/09/29