New comment by toluschr on void-packages repository https://github.com/void-linux/void-packages/pull/21720#issuecomment-625362213 Comment: @st3r4g From what you told me, it seems that it was me that did a mistake by not honoring this. Should the PR be closed?