Closed aritorto closed 12 months ago
jenkins build this serial please
Thanks a lot. Will merge once jenkins green. Sorry, for the lousy review when adding the header. :flushed:
jenkins build this opm-simulators=4983 please
The previous check was green, right? Any reason not to merge this now?
Last check was green. I ran jenkins again because I have a new PR in simulators (OPM/opm-simulators#4983), that need the change in this PR. In my opinion, this one can be merged independently.
Include guards added (to avoid compile errors when header is included several times).