Node state-transition model#263

pinodeca wants to merge 2 commits into

mainmicrosoft/pg_durable:mainfrom

node-transition-modelmicrosoft/pg_durable:node-transition-modelCopy head branch name to clipboard