Hi there !

A friend of mine has RedHat 7.0 installed on his machine ; he would like
to upgrade to 7.2. If merely re-installing, he would lose a lot of config
, so he just want to upgrade.

Where can I download such an upgrade package, now that RedHat no longer
maintains old distros ?