Merge branch 'stable-3.1'

Marius Burkard

2016-07-01 49441bdd0f3ff75d5092d5b832b97ea722a66363

 install/lib/install.lib.php

@@ -296,7 +296,7 @@
      } elseif(stristr($content, 'CentOS Linux release 7.2')) {
         $distname = 'CentOS';
         $distver = 'Unknown';
         $distid = 'centos70';
         $distid = 'centos72';
         $distconfid = 'centos72';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 7.2\n");