Any upcoming 0.13 release ?

[GuillaumeDua]

As the 0.12 were released in 2022,
can we expect a 0.13 release in a reasonable future ?

[ccotter]

@ericniebler - could we get a new release cut? The last one is from 2022. Thanks!