Commit 2dc8229e authored by Kevin Modzelewski's avatar Kevin Modzelewski

Rename "more_guards_after" to "call_done_guarding"

(which has flipped value)
should hopefully be more clear what this is for -- at least
I hope that's what this is for.
parent 55c2366f
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment