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