Yes, Kerberos has been working on fixing bugs and stuff over the weekend. However, if I were them and I wanted to release a patch today I'd fix as many more bugs as I can before releasing it. It's not even 11:00 AM in their timezone, anyway. Just be patient. I'm sure the patch will come in a few hours.