Red Hat Launches Version 7.2 of Linux OS