New comment by damadmai on void-packages repository

https://github.com/void-linux/void-packages/pull/12552#issuecomment-505535061
Comment:
Yes it did exactly that inadvertantly. Thanks for looking over it so precisely!