New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/38614#discussion_r943944928 Comment: ok, let's drop it then