New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/23552#issuecomment-657875932

Comment:
Huh, it is indeed. Closing then ^^