new version out 0.13.2 on aug 13 thanks! Reproducible: Always
Actually... new release is 0.13.3 as of September 12th.
done