Fix workflow pool race between workflow result reporting and removal.#46

rjrjr merged 1 commit intomastersquare/workflow:masterfrom

zachklipp/fix-workflowpool-racesquare/workflow:zachklipp/fix-workflowpool-raceCopy head branch name to clipboard