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).
Attachments
Activity
Field | Original Value | New Value |
---|---|---|
Priority | Major [ 3 ] | Blocker [ 1 ] |
Fix Version/s | 10.3 [ 22126 ] |
Assignee | Sergei Golubchik [ serg ] |
Status | Open [ 1 ] | In Progress [ 3 ] |
Status | In Progress [ 3 ] | Stalled [ 10000 ] |
Fix Version/s | 10.3.2 [ 22533 ] | |
Fix Version/s | 10.3 [ 22126 ] | |
Resolution | Fixed [ 1 ] | |
Status | Stalled [ 10000 ] | Closed [ 6 ] |
Workflow | MariaDB v3 [ 82310 ] | MariaDB v4 [ 152724 ] |
Was fixed in 10.3.2: https://github.com/MariaDB/server/commit/ac57a30bd9