New comment by agausmann on void-packages repository

https://github.com/void-linux/void-packages/pull/46799#issuecomment-1776111108

Comment:
Yeah, I think that's reasonable, it's just a header-only library