New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/12710#issuecomment-506792404
Comment:
@Duncaen wanted you to change the commit message, i.e. the title < 72 chars and the details in the message body. The PR title is more or less irrelevant, but should usually match the first line of the commit message.
In short do a `git commit --amend` and fix the title, leave one empty line, and fille body of the message with what's listed in this PR. The do a `git push -f` to your branch.
HTH :)