diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-15 19:53:38 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-15 19:53:38 +0200 |
| commit | eec4dc80ef726818f0908eb401168c648610e836 (patch) | |
| tree | 1f6c0487711dc248e17ca928f90877d51699f172 /src/.gitignore | |
| parent | 2c28f7ebd05d31943f470dfdb410e4ce0955c8a3 (diff) | |
always check for the entire batch being idempotent, not only when it is too late to repeat the request
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions