New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/26692#issuecomment-733711388

Comment:
Works for me, I will drive it during the day and merge tonight if nothing bad appears. Please ping me if I forget!