New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/40678#issuecomment-1324205896 Comment: oh, I just noticed the new PR is not from you, nevermind then