New comment by cinerea0 on void-packages repository https://github.com/void-linux/void-packages/pull/24776#issuecomment-691283403 Comment: It's no problem, and I don't blame you for opening a new PR. I think the main reason that one hasn't been merged is because Gottox hasn't had the time to work on it. As long as you've incorporated the fixes discussed in that PR, this should be fine.