New comment by beanpole135 on void-packages repository https://github.com/void-linux/void-packages/pull/21254#issuecomment-619962784 Comment: Reverting a previous commit is a task for the port maintainer, as it is a completely different approach than this PR takes (even though the end result is the same). I do not care if my name appears in commit logs or anything - go ahead and do the revert in a separate PR and just close this one.