2.3.7 release

[Pavel Sanda]

On Tue, Nov 15, 2022 at 12:01:46PM -0500, Richard Kimberly Heck wrote:
> Yes, I'm happy to do that. I have not been following the list closely, so
> don't know what patches might need to go in, but I'll have some time over
> the next few weeks.

Thanks much. Debian starts with gradual freezing in mid Jan, so if we could
aim for the tarball release in mid Dec, everything would be smooth. As said
don't hesitate to ask for a help if in time pressure...

Pavel