diff options
author | Roman Melnikov | 2023-11-02 11:37:22 +0100 |
---|---|---|
committer | GitHub | 2023-11-02 11:37:22 +0100 |
commit | 660180bbbeae7d60dad5a92b30858306945fd427 (patch) | |
tree | 6ed583eb0b5f14db704d031f4e6b5cdeba80d8ac /src/push.rs | |
parent | d50737080327575d78fe7490b20fcc3eba9f1d72 (diff) | |
parent | 50d640f4032c32d5bddab31af493670ba1773518 (diff) |
Merge pull request #240 from serokell/rvem/make-wait-activation-timeout-configurable
[Chore] Make activation wait timeout configurable
Diffstat (limited to 'src/push.rs')
0 files changed, 0 insertions, 0 deletions