From 510bb7b13f4087ccb419e407e10644e710397adf Mon Sep 17 00:00:00 2001
From: "arjen@george.bitbike.com" <>
Date: Fri, 28 Jun 2002 22:21:28 +1000
Subject: [PATCH] MySQL 4.0.2 does support the EXECUTE privilege.

---
 Docs/manual.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Docs/manual.texi b/Docs/manual.texi
index f197ca7884a..a2a12f6c16f 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -16702,8 +16702,8 @@ and not only for an username.
 @item
 ANSI SQL doesn't have global or database-level privileges, and ANSI SQL
 doesn't support all privilege types that MySQL supports.
-MySQL doesn't support the ANSI SQL @code{TRIGGER}, @code{EXECUTE} or
-@code{UNDER} privileges.
+MySQL doesn't support the ANSI SQL @code{TRIGGER} or @code{UNDER}
+privileges.
 
 @item
 ANSI SQL privileges are structured in a hierarchal manner. If you remove