debian-installer (20101020ubuntu543.12~ppa3) bionic; urgency=medium * Move master kernels to 4.15.0-73. * Move HWE kernels to 5.3.0-25. -- Ćukasz 'sil2100' Zemczak <email address hidden> Tue, 17 Dec 2019 15:12:15 +0100