MariaDB: How to grant read-only privileges for Stored Procedures

mariadbpermissionsstored-procedures

I've granted SELECT privileges for a user to select on all tables of a database. However that user is unsable to view store procedures.
I'd want to grant only the permission for SHOW CREATE PROCEDURE (or something alike).
Is that possible on MariaDB 10.x?

Best Answer

Per the knowledge base, SELECT privileges on mysql.proc is sufficient.