My guess would be this was one of those occasions when the changes were all on the server side, and didn't require the client to be updated. It's happened quite often on the production servers.