New comment by jsxof on void-packages repository

https://github.com/void-linux/void-packages/pull/19787#issuecomment-595491035

Comment:
I've just noticed a problem with the -devel package, so I'll remove it for now.