Merge branch 'stable-3.1'

Author: Marius Burkard

install/dist/conf/debian90.conf.php

@@ -28,6 +28,8 @@
 EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
+//***  Debian 9 default settings
+
 //* Main
 $conf['language'] = 'en';
 $conf['distname'] = 'debian90';