Re: [Mathlib-develop] New release

[mark <msp...@ya...>]

Hi

Version 0.4.4 has been released.

Before the next release (which I'm hoping will be in the next couple of w=
=3D
eeks)=3D20
I'm hoping to clean up the system for producing the releases.

Best Regards

Mark Sparshatt