Skip to content

Fix standalone builds of public headers

Marco Clemencic requested to merge cherry-pick-d72b7fe7 into 2023-hlt2pp-patches

See merge request !1358 (merged)

(cherry picked from commit d72b7fe7)

f50cae8a Embed PyAllenHelper.h in allen.py c6d77641 Add missing include (needed with g++13)

Merge request reports