diff options
| author | coqbot-app[bot] | 2021-03-23 08:01:22 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-23 08:01:22 +0000 |
| commit | 1f7875b9c457aad27cd5ee8bfe2dd12898926cb2 (patch) | |
| tree | 280b335a5490298da9ce3612eb480f0093738010 /dev/ci | |
| parent | 7c9bb01b485cb3fd4b997125fbe2e4acb735054f (diff) | |
| parent | e38f64e024c94ad188e186506356980534ab604b (diff) | |
Merge PR #13671: [stdlib] [Vectors] add results on to_list
Reviewed-by: anton-trunov
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions