New comment by sww1235 on void-packages repository

https://github.com/void-linux/void-packages/pull/47400#issuecomment-1826401162

Comment:
@ahesford more than happy to also upgrade to 3.13.1 in the same or different pull request, but the version patch is still needed to build correctly.