Closed nim65s closed 3 years ago
By the way:
# This header, unlike the previous one is *not* installed and is generated
# in the top-level directory of the build tree.
# Therefore it must not be included by any distributed header.
Got it, thanks !
One more fix related to #449
I don't understand why we missed this one, but it was clearly breaking CI on dynamic-graph: https://gitlab.laas.fr/stack-of-tasks/dynamic-graph/-/jobs/99322