Hmm, it seems to show up on the web site: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=44933#35. Maybe it is getting filtered out somewhere due to size or file extension or something?

> On Dec 13, 2020, at 2:26 AM, martin rudalics <rudalics@gmx.at> wrote:
> 
> > I instrumented the code in a couple key places and then exercised the
> > bug. Attached is the log showing what happened.
> 
> I'm afraid you forgot to attach the log.
> 
> martin