[Development] [5.7.1] release schedule?

[Tim Blechmann]

hi all,

the 5.7.1 release was scheduled for sept/oct ... october is almost over,
so i wonder what's the state of it?

thanks a lot,
tim