New review comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/26580#discussion_r528391835

Comment:
Actually I don't know if it is. There is no library, just header files, so it's probably not needed at all.