changes.mady.by.user Olivier Chauvineau
Saved on Oct 07, 2020
...
Set pre-conditions
Initiate transaction
EventuallEventually, complete transaction
Get post-conditions