diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 11:05:41 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 11:05:41 +0200 |
| commit | 28e1dc616253af79effbe4d3fb5d7f2bd531a8fa (patch) | |
| tree | 6c4f01c7291e4f8e83720a3afc7fc6e75c0b2dd0 /misc/scripts/check_ci_log.py | |
| parent | aa6d2b58afa42dce4bb38fe2839a3d01cd9cb1bc (diff) | |
| parent | ff4e72a0bcf8ee1b8db2cb492397866559d17a73 (diff) | |
Merge pull request #65828 from rburing/body_state_sync_callable
make `body_set_state_sync_callback` take a `Callable`
Diffstat (limited to 'misc/scripts/check_ci_log.py')
0 files changed, 0 insertions, 0 deletions