From eaab98f7022732b26b4ea590e1bb44308e253be8 Mon Sep 17 00:00:00 2001 From: Sergei Golubchik Date: Mon, 2 Jul 2018 09:30:10 +0200 Subject: [PATCH] after-merge fix --- ...{mariadb-server-10.2.triggers => mariadb-server-10.3.triggers} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename debian/{mariadb-server-10.2.triggers => mariadb-server-10.3.triggers} (100%) diff --git a/debian/mariadb-server-10.2.triggers b/debian/mariadb-server-10.3.triggers similarity index 100% rename from debian/mariadb-server-10.2.triggers rename to debian/mariadb-server-10.3.triggers