It's most definately done through. Some datacenters havent updated yet, but you should have seen your new PR already once or twice via the toolbar.