diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-14 20:43:51 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-08-14 20:43:51 +0000 |
| commit | bd58b5002aee8ad3b01081595817afb2a70f0cc6 (patch) | |
| tree | ad636106836487272e7f581d7e7318387a05c3bb /.github | |
| parent | 0727f8690c4684d0622547edee2cf9dc22215a9b (diff) | |
| parent | 890f29ccfe129f3205cf835c7131862c579d9349 (diff) | |
Merge pull request #1774 from bugadani/executor
Allow custom executors without indirection
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions