Details
-
Bug
-
Status: Closed (View Workflow)
-
Blocker
-
Resolution: Fixed
-
10.3.1
-
None
Description
MariaDB 10.3.1 adds a new option to log_slow_filter, filsort_priority_queue. Not sure if this is intentional or a typo, but it's a poor choice of name, and should rather be filesort_priority_queue, to match the other options (assuming it refers to filesort and not something else).
Was fixed in 10.3.2: https://github.com/MariaDB/server/commit/ac57a30bd9