New comment by cinerea0 on void-packages repository https://github.com/void-linux/void-packages/pull/24038#issuecomment-669932461 Comment: In that case, I think this is fine to to merged, right?