New comment by DavideMaggio on void-packages repository

https://github.com/void-linux/void-packages/pull/17568#issuecomment-570887917

Comment:
ok then, it's ready to merge for me.