Hey! Yeah of course it’s going to be updated. I forgot about putting 4.12 up, but now I have both versions and I’ll put them both today!
By the way I submitted yesterday to the marketplace the 4.13 update that includes the bug fixes mentioned here. (Everything else worked fine after the update!)