diff options
| author | Frédéric Besson | 2019-10-22 14:30:51 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2019-10-22 14:30:51 +0200 |
| commit | ac8633ba19a7d8e937bbd6f9b7de2ad82b89f22f (patch) | |
| tree | b6512ba01f5b00fe490fe90b9d848c0d8a4c1f80 /dev | |
| parent | 487f23187413e6cf6ee117d798a9057d0008aa6a (diff) | |
| parent | 4af9a79457fc265b1696de2b1fa1018ef12c986a (diff) | |
Merge PR #10875: [Stdlib] Remove some uses of the “omega” tactic
Reviewed-by: fajb
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions