New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/13627#issuecomment-536228841

Comment:
@bobertlo Yes, I know, but for my workflow this was a bit easier. Sorry if this caused unnecessary notifications :|