A workaround is to set session, not statement max_statement_time:
SET max_statement_time=... SELECT ... SET max_statement_time=DEFAULT
The bug itself indeed has been fixed in MariaDB in their feature rewrite.
A workaround is to set session, not statement max_statement_time:
SET max_statement_ time=.. . time=DEFAULT
SELECT ...
SET max_statement_
The bug itself indeed has been fixed in MariaDB in their feature rewrite.