New comment by mobinmob on void-packages repository

https://github.com/void-linux/void-packages/pull/15418#issuecomment-542648103

Comment:
@jnbr : Ι pushed the rename.