diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-06 20:40:17 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-06 20:40:17 +0000 |
| commit | c9b7dbc541cdd5bb8a898e81ed7173490866cba8 (patch) | |
| tree | 4ede6bd4840ec479643022cd0e8c4393580f7c03 /docs/modules | |
| parent | f3ec6080bf9a39d9819195861e7b41e8a2081600 (diff) | |
| parent | e2516bba09fbb99da95939656e172156ad1924fc (diff) | |
Merge #1334
1334: executor: fix doc features. r=Dirbaio a=Dirbaio
Forgot to update them in #1321
bors r+
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'docs/modules')
0 files changed, 0 insertions, 0 deletions