Yet another in a long line of tests, this one intended to see if the update from redhat 7.1 to 7.2 works. It seems to have gone well.