feat: add #guard_msgs configuration syntax and update documentation#3892
Closed
kmill wants to merge 1 commit intoleanprover:masterfrom kmill:guardmsgs_cmd_syntax
+68-23
#guard_msgs configuration syntax and update documentation#3892