Merge branch 'PGPRO10' of gitlab.postgrespro.ru:pgpro-dev/postgrespro into PGPRO10

Author: vbwagner

doc/src/sgml/installation-bin.sgml

@@ -70,7 +70,7 @@
     </listitem>
     <listitem>
       <para>
-        Debian-based systems: Debian 7/8/9, Ubuntu 14.04/16.04/17.04/17.10,
+        Debian-based systems: Debian 7/8/9, Ubuntu 14.04/16.04/17.10,
         Astra Linux Smolensk 1.5
       </para>
     </listitem>