From 7f58f666cdeee8016fd4ec7aa79629c983ecc3bd Mon Sep 17 00:00:00 2001
From: Magnus Hagander
Date: Wed, 25 Apr 2018 09:29:50 +0200
Subject: Fix typo
Author: Michael Paquier
---
doc/src/sgml/jit.sgml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/src/sgml/jit.sgml b/doc/src/sgml/jit.sgml
index 2a647e8c6c5..fc841337c36 100644
--- a/doc/src/sgml/jit.sgml
+++ b/doc/src/sgml/jit.sgml
@@ -139,7 +139,7 @@
If is set to off, or no
JIT implementation is available (for example because
the server was compiled without --with-llvm),
- JIT will not performed, even if considered to be
+ JIT will not be performed, even if considered to be
beneficial based on the above criteria. Setting
to off takes effect both at plan and at execution time.
--
cgit v1.2.3