Added support for EXIT op #888
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "exit-op"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Created by: radrow
I usually append new features to the end of the
Added
list in the change log.Can you add this to the docs in the section about exceptions?
Created by: radrow
approved this merge request
Created by: hanssv
Review: Approved
Not sure this is super productive, but LGTM.
Created by: marc0olo
@radrow any examples where this is useful? just wondering :)
Merged by: radrow at 2022-07-08 13:56:30 UTC
Created by: radrow
Not really, but since we have this in fate and there was epsilon cost to add it...