New comment by jjsullivan5196 on void-packages repository https://github.com/void-linux/void-packages/pull/25084#issuecomment-773940775 Comment: @ericonr I tested this PR again on 5.10.12 and everything is still working. I think this can be merged, if no other quality issues are in the way.