will correct those - the git commit id, checksums, etc.. are all from previous release. fixing
On Thu, Aug 13, 2020 at 2:22 PM Mike Thomsen <[email protected]> wrote: > In the repo (and what I can reproduce locally) for 256: > > 0abf5d5273e00b62790f143cdf878128b637e57e9fcf9e7978555d386eba5fff > > vs > > a67ecb34f32cc1f070ebb006b6f05456a2ac663b12f708eadac67754194a6c63 > > in the vote thread. >
