New comment by jcgruenhage on void-packages repository https://github.com/void-linux/void-packages/pull/46085#issuecomment-1857778456 Comment: updates have been merged by others in the mean time