Re: [Maria-developers] Obtaining usernames in MariaDB UDFs