|
| From: | Andreas Enge |
| Subject: | bug#17117: Close |
| Date: | Tue, 19 Feb 2019 23:47:43 +0100 |
| User-agent: | Mutt/1.11.2 (2019-01-07) |
There have been so many changes since this bug was opened that it is not meaningful any more, and it was in any case more of "wishlist type". Closing it. Andreas
| [Prev in Thread] | Current Thread | [Next in Thread] |