the two other PR I'm referring to are https://github.com/mixxxdj/mixxx/pull/581 and https://github.com/mixxxdj/mixxx/pull/587
the two other PR I'm referring to are /github. com/mixxxdj/ mixxx/pull/ 581 /github. com/mixxxdj/ mixxx/pull/ 587
https:/
and
https:/