source: use latest MariaDB 10.3

mroonga · Mar 27, 2019 · d76a1ee · d76a1ee
1 parent 1b6ab76
commit d76a1ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package_mariadb_version b/package_mariadb_version
@@ -1 +1 @@
-10.3.12
+10.3.13