Subject: Re: bug#40995: [PATCH] Delete libraries obsolete since 23.1 and 23.2

From: Stefan Kangas <[email-masked]>
Date: Fri, 15 May 2020 11:04:02 -0700

close 40995 28.1
thanks

Stefan Kangas <[email-masked]> writes:

> No comments within 11 days.  I will allow a few more days for anyone to
> object or comment before I push this to master.  Thanks.

Pushed to master as commit b76cdd0c1a.

Best regards,
Stefan Kangas