github repository not up to date...

[bradycl]

Devs,

Haven't been able to find a mention anywhere else, so not sure if any of you are aware, but there haven't been any updates on the github mirror in several days unless I am doing something wrong.

I just did a git pull and it says that I am up to date, and going through the timeline, I've narrowed down that what I have appears to be build 4947.

If either git is no longer supported or it *is* up to date and something is freaky on my system and I need to wipe and do a fresh checkout, please let me know.

Thanks!

[bradycl]

At least as of right now github is still showing no commits since the 9th.

[s55]

Known issue, no eta on a fix I'm afraid.