Subject: Re: Remove some obsolete items from PROBLEMS

From: Stefan Kangas <[email-masked]>
Date: Mon, 17 Aug 2020 11:35:27 +0000

close 42863 28.1
thanks

Paul Eggert <[email-masked]> writes:

> Those changes look good to me; please install. Thanks.

Now pushed to master as commit e5d4fae679.  Closing.

Best regards,
Stefan Kangas