yeah..saw it on pinksheets also, looks like the PR will be released tomorrow when they have finally merged.