[Libosinfo] [osinfo-db PATCH v2 1/8] ubuntu19.04: Fix <short-id>

[Andrea Bolognani]

18.10 was ubuntucosmic, 19.04 is going to be ubuntudisco.

Source: https://wiki.ubuntu.com/Releases

Signed-off-by: Andrea Bolognani <abologna at redhat.com>
Reviewed-by: Daniel P. Berrangé <berrange at redhat.com>
---
 data/os/ubuntu.com/ubuntu-19.04.xml.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/os/ubuntu.com/ubuntu-19.04.xml.in b/data/os/ubuntu.com/ubuntu-19.04.xml.in
index 86ca243..7130011 100644
--- a/data/os/ubuntu.com/ubuntu-19.04.xml.in
+++ b/data/os/ubuntu.com/ubuntu-19.04.xml.in
@@ -4,7 +4,7 @@
      See http://www.gnu.org/licenses/ for a copy of the license text -->
   <os id="http://ubuntu.com/ubuntu/19.04">
     <short-id>ubuntu19.04</short-id>
-    <short-id>ubuntucosmic</short-id>
+    <short-id>ubuntudisco</short-id>
     <_name>Ubuntu 19.04</_name>
     <version>19.04</version>
     <_vendor>Canonical Ltd</_vendor>
-- 
2.20.1