[yes] Does this PR have a descriptive title that could go in our release notes?
[no] Does this PR add any new dependencies?
[no] Does this PR modify any existing APIs?
[no] Should this result in any changes to our documentation, either updating existing docs or adding new ones?
Reference Issues
Fixes #570
What does this implement/fix? Briefly explain your changes.
ann_exception.h contained a reference to the type uint32_t, which is imported implicitly by g++9 but not g++13, resulting in build failure.
We patch this by explicitly including stdint.h (and not cstdint, to avoid changing the namespace in the signatures, upon which some people might depend)
Reference Issues
Fixes #570
What does this implement/fix? Briefly explain your changes.
ann_exception.h contained a reference to the type uint32_t, which is imported implicitly by g++9 but not g++13, resulting in build failure. We patch this by explicitly including stdint.h (and not cstdint, to avoid changing the namespace in the signatures, upon which some people might depend)