Taking away Global Rights leaves "Grant" behind

For debugging purposes, I granted all rights to a user. Later on I took them away by unchecking the "Global Rights" box (=> all subordinate check boxes were empty, too), ... Save.

Looking again: "Grant" was still set. Uncheck, save, done.

First command excecuted: REVOKE EXECUTE, PROCESS, SELECT, SHOW DATABASES, SHOW VIEW, ALTER, ALTER ROUTINE, CREATE, CREATE ROUTINE, CREATE TABLESPACE, CREATE TEMPORARY TABLES, CREATE VIEW, DELETE, DROP, EVENT, INDEX, INSERT, REFERENCES, TRIGGER, UPDATE, CREATE USER, FILE, GRANT OPTION, LOCK TABLES, RELOAD, REPLICATION CLIENT, REPLICATION SLAVE, SHUTDOWN, SUPER ON . FROM 'patpflege'@'%';

Second command executed: REVOKE GRANT OPTION ON . FROM 'patpflege'@'%';

So, the "general" command did not include "GRANT" so it was not taken away.

Heidi 9.4.0.5168 on Windows 10 with MariaDB 10.1.11 on localhost (Windows 10)

Grüßele, Wolfgang