New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/issues/17921#issuecomment-569945735

Comment:
(although 0.7.1 needs to be done too)