I checked again, and I also don't see the problem. Apologies - not sure what I was looking at at the time - maybe diff'ing the wrong git tags? At any rate, I've uploaded now.
I checked again, and I also don't see the problem. Apologies - not sure what I was looking at at the time - maybe diff'ing the wrong git tags? At any rate, I've uploaded now.