New comment by avoidr on void-packages repository

https://github.com/void-linux/void-packages/pull/19928#issuecomment-600750996

Comment:
Ping. According to me, it's good to merge.