diff options
| author | Pierre-Marie Pédrot | 2020-01-28 15:32:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-28 15:32:18 +0100 |
| commit | 60dd89f3a9b946875cc38678f50bd50431bafa3d (patch) | |
| tree | 5da4640c79a1059da97185884e3440f64d27ee2e /Makefile.ci | |
| parent | b105077dd42e34f19d0849620fec2837e84b4887 (diff) | |
| parent | 41b844befc7e7a720510358389e7e84e239404db (diff) | |
Merge PR #11376: Fix fold order in CArray.fold_right(2)_map
Reviewed-by: ppedrot
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions