diff -ru --no-dereference ubuntu-release-upgrader-19.04.16.3.orig/debian/changelog ubuntu-release-upgrader-19.04.16.3/debian/changelog --- ubuntu-release-upgrader-19.04.16.3.orig/debian/changelog 2019-05-03 20:47:57.000000000 +0200 +++ ubuntu-release-upgrader-19.04.16.3/debian/changelog 2019-05-06 19:58:03.360544003 +0200 @@ -1,3 +1,9 @@ +ubuntu-release-upgrader (1:19.04.16.4) disco; urgency=medium + + * DistUpgrade/window_main.ui: Really update for 19.04 (LP: #1825733). + + -- Gunnar Hjalmarsson Mon, 06 May 2019 19:58:00 +0200 + ubuntu-release-upgrader (1:19.04.16.3) disco; urgency=medium * data/DistUpgrade.cfg.bionic, diff -ru --no-dereference ubuntu-release-upgrader-19.04.16.3.orig/DistUpgrade/window_main.ui ubuntu-release-upgrader-19.04.16.3/DistUpgrade/window_main.ui --- ubuntu-release-upgrader-19.04.16.3.orig/DistUpgrade/window_main.ui 2019-04-19 20:56:16.000000000 +0200 +++ ubuntu-release-upgrader-19.04.16.3/DistUpgrade/window_main.ui 2019-05-06 19:43:36.972640467 +0200 @@ -236,7 +236,7 @@ - <b><big>Upgrading Ubuntu to version 18.10</big></b> + <b><big>Upgrading Ubuntu to version 19.04</big></b> false