You need to sign in or sign up before continuing.
Backport: Replace the FATAL_ERROR in dune_policy(SET) by an author warning
This MR backports some changes from !1511 (merged) such that undefined policies do not trigger a fatal error when dune_policy(SET)
is called.
Merge request reports
Activity
added backport buildsystem labels
requested review from @santiago.ospina
assigned to @simon.praetorius
enabled an automatic merge when all merge checks for 40a0db57 pass
mentioned in commit 67db40f2
Please register or sign in to reply