New comment by kruceter on void-packages repository

https://github.com/void-linux/void-packages/pull/40833#issuecomment-1396438125

Comment:
> should i keep the PR for the new build-style or close it?

I think you can keep it.