Gadgeteer Core 2.43.800

Just released. Is this going to be included in the soon to be released GHI SDK?

http://gadgeteer.codeplex.com/releases/view/105603

https://www.ghielectronics.com/community/forum/topic?id=12818