|
From: | martin rudalics |
Subject: | bug#31240: 26.1; mouse-save-then-kill does not kill rectangles |
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
[Prev in Thread] | Current Thread | [Next in Thread] |