New review comment by pandom79 on void-packages repository https://github.com/void-linux/void-packages/pull/23264#discussion_r453223008 Comment: I'm sorry but I mistakenly deleted the branch. How can we solve it?