Version: 2.39.0 WIP (commit 2e0b042), but probably still happens with the current master.
As the title indicates, the stats.txt file seems to be generated with the wrong statistics.
Here's a short example I made to showcase the issue: __main.txt, stats.txt
Version: 2.39.0 WIP (commit 2e0b042), but probably still happens with the current
master.As the title indicates, the
stats.txtfile seems to be generated with the wrong statistics.Here's a short example I made to showcase the issue: __main.txt, stats.txt