From d7ccc2fff6aec21f63258cbb3267a3953700fbe2 Mon Sep 17 00:00:00 2001
From: Daniel <daniel@harvey>
Date: Fri, 11 Dec 2020 11:04:11 +0100
Subject: [PATCH] DOC: Fixed typo.

---
 src/doc/development/benchmarking.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/development/benchmarking.md b/src/doc/development/benchmarking.md
index 868c4cc7..cb446129 100644
--- a/src/doc/development/benchmarking.md
+++ b/src/doc/development/benchmarking.md
@@ -28,7 +28,7 @@ Users can tell the script to store times needed for the insertion of each chunk
 ### `measure_execution_time.py` ###
 
 A somewhat outdated script which executes a given query a number of times and then save statistics
-about the `TransactionBenchmark` readings (see below for more information abut the transaction
+about the `TransactionBenchmark` readings (see below for more information about the transaction
 benchmarks) delivered by the server.
 
 ### Benchmarking SQL commands ###
-- 
GitLab