On Wed, Jan 08, 2020 at 11:04:48PM +0100, Peter Eisentraut wrote:> Since the OpenSSL patch went ahead, I have now committed this one as well.
Yippee.--Michael