From 4e55d169a8cffe2e31d9dbfd86f98b1b11bda125 Mon Sep 17 00:00:00 2001
From: VirtuBox <thomas@virtubox.net>
Date: Thu, 14 May 2020 01:04:38 +0200
Subject: [PATCH] Update MariaDB repository for Ubuntu 20.04 LTS

---
 wo/cli/plugins/stack_pref.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/wo/cli/plugins/stack_pref.py b/wo/cli/plugins/stack_pref.py
index a5f4e3f..f93b84d 100644
--- a/wo/cli/plugins/stack_pref.py
+++ b/wo/cli/plugins/stack_pref.py
@@ -29,8 +29,7 @@ def pre_pref(self, apt_packages):
 
     if ("mariadb-server" in apt_packages or "mariadb-client" in apt_packages):
         # add mariadb repository excepted on raspbian and ubuntu 19.04
-        if ((not WOVar.wo_distro == 'raspbian') and
-                (not WOVar.wo_platform_codename == 'focal')):
+        if not WOVar.wo_distro == 'raspbian':
             Log.info(self, "Adding repository for MySQL, please wait...")
             mysql_pref = (
                 "Package: *\nPin: origin mariadb.mirrors.ovh.net"