Closed JaroslavTulach closed 4 days ago
Fixes #9723 by turning an exception into DataflowError.
DataflowError
Please ensure that the following checklist has been satisfied before submitting the PR:
Pull Request Description
Fixes #9723 by turning an exception into
DataflowError
.Checklist
Please ensure that the following checklist has been satisfied before submitting the PR: