That was supposed to come out tuesday. ETA?

It was a server-side update, afaik.

There was a small client patch, I think, but nothing was added to the changelog.

Yeah, we're a day late with this patch.. The mining bots we wanted to add weren't working quite right so we held it back until tonight. They look good so far though.