I noticed that OMG Ubuntu said that gnome 3.10 will be available to install in 14.04. Does that mean that ubuntu gnome will ship with 3.8? I know that this week, 3.10 was introduced as the default shell in the daily build. I was just wondering since I have some problems with 3.10 and would like to not move to it until they are resolved.