|
| From: | Stefan Kangas |
| Subject: | bug#42863: Remove some obsolete items from PROBLEMS |
| Date: | Mon, 17 Aug 2020 11:35:27 +0000 |
close 42863 28.1 thanks Paul Eggert <eggert@cs.ucla.edu> writes: > Those changes look good to me; please install. Thanks. Now pushed to master as commit e5d4fae679. Closing. Best regards, Stefan Kangas
| [Prev in Thread] | Current Thread | [Next in Thread] |