New comment by Duncaen on void-packages repository

https://github.com/void-linux/void-packages/pull/18756#issuecomment-583021554

Comment:
It was closed with a commit: https://github.com/void-linux/void-packages/commit/58f4d59eb89ca88ee8a3a6fa0f998f5219b07e34.

The PR has been merged manually, but github is not smart enough to notice it if it has been merged/rebased by hand if the hash changed.