New comment by Newchair2644 on void-packages repository https://github.com/void-linux/void-packages/pull/41310#issuecomment-1499894391 Comment: Is there anything preventing this PR from being merged? I noticed it has become stale.