From a5d870ff31985c5ecec5570c68f7adb2da5b08a1 Mon Sep 17 00:00:00 2001
From: Daniel <daniel@harvey>
Date: Fri, 11 Dec 2020 11:07:54 +0100
Subject: [PATCH] DOC: Added reference to upstream documentation.

---
 src/doc/development/benchmarking.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/doc/development/benchmarking.md b/src/doc/development/benchmarking.md
index cb446129..f2d663f6 100644
--- a/src/doc/development/benchmarking.md
+++ b/src/doc/development/benchmarking.md
@@ -34,8 +34,8 @@ benchmarks) delivered by the server.
 ### Benchmarking SQL commands ###
 
 MariaDB and MySQL have a feature to enable the logging of SQL queries' times.  This logging must be
-turned on on the SQL server.  For the Docker environment LinkAhead, this can be done with `linkahead
-mysqllog {on,off,store}`.
+turned on on the SQL server as described in the [upstream documentation](https://mariadb.com/kb/en/general-query-log/).  For the Docker
+environment LinkAhead, this can conveniently be done with `linkahead mysqllog {on,off,store}`.
 
 ### External JVM profilers ###
 
-- 
GitLab