Do we need to do anything special, like an upgrade, to go from 12.04 to 12.04.1? I was under the impression that this was just automatic with the standard updates. Thanks. MR