From 5a481bb1763477edbacf530de7c64a729a796084 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Wed, 16 Oct 2013 00:25:07 +0200
Subject: [PATCH] [ticket/11920] Print MariaDB version after successful setup.

PHPBB3-11920
---
 travis/setup-mariadb.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/travis/setup-mariadb.sh b/travis/setup-mariadb.sh
index 6742d27263..02520b1c2c 100755
--- a/travis/setup-mariadb.sh
+++ b/travis/setup-mariadb.sh
@@ -34,3 +34,5 @@ USE mysql;
 UPDATE user SET Password = PASSWORD('') where User = 'root';
 FLUSH PRIVILEGES;
 " | mysql -u root -prootpasswd
+
+mysql --version