New comment by bertronika on void-packages repository

https://github.com/void-linux/void-packages/pull/14196#issuecomment-527677276

Comment:
It looks like Travis is trying to build the wrong commit (the one before closing the pull request). The newest commit now has the right modifications. Do I still have to change something or does Travis need manual intervention?