Hello,

On Sat, Jun 13, 2020 at 5:41 AM Peter Geis <pgwipeout@gmail.com> wrote:
>
> Good Morning,
>
> Last night I started experiencing crashes on my home server.
> I updated to 5.6.17 from 5.6.15 a few days ago but I'm not sure if
> that is related.
> The crash occurred four times between last night and this morning.

Yeah, this is known. Can you test the attached patch?

Thanks.