New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/31444#issuecomment-860339724 Comment: I think it's okay to leave it open, we just can't merge yet.