# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1451421508 -7200
# Node ID a3b639d803e7bb3f1a5360890c1f48bf682ac6bc
# Parent  17256527f85ec6c220e86502a813a6c00b5eb60f
System information.

diff -r 17256527f85e -r a3b639d803e7 mysql.rst
--- a/mysql.rst	Mon Dec 28 13:52:38 2015 +0200
+++ b/mysql.rst	Tue Dec 29 22:38:28 2015 +0200
@@ -56,6 +56,13 @@
 
   MariaDB [mysql]> SHOW GRANTS;
 
+System information.
+===================
+
+Server version, platform, etc::
+
+  [mysql]> SHOW VARIABLES LIKE "%version%";
+
 Debugging.
 ==========