[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: |
Federico Tedin |
Subject: |
bug#31240: 26.1; mouse-save-then-kill does not kill rectangles |
Date: |
Sun, 30 Sep 2018 13:20:31 -0300 |
Martin, Charles: Thanks for the suggestions, I've applied them and I'm attaching
the new patch here.
> 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.
mouse.patch
Description: Text Data
- 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, Charles A. Roelli, 2018/09/23
- 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 <=
- bug#31240: 26.1; mouse-save-then-kill does not kill rectangles, Eli Zaretskii, 2018/09/30
- 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