Closed ecatmur closed 11 months ago
and throw bad_executor if empty. Fixes #1322.
Possibly fixed by 6c4a16680caa5e63e742f7041cf1fccaa30f1841, checking
Confirming fixed by 6c4a16680caa5e63e742f7041cf1fccaa30f1841.
and throw bad_executor if empty. Fixes #1322.