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).