On Fri, 28 Jun 2019, Riccardo (Jack) Lucchetti wrote:
On Fri, 28 Jun 2019, Sven Schreiber wrote:
> Is it already decided that there's going to be an emergency release? I
> was wondering whether the crash problem should be communicated via the
> users list and/or Twitter.
Yes, the bug is quite nasty, I think we ought to release soon.
I'm ready to release tomorrow -- anyone have a reason to hold off
for a little?
Allin