diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-29 11:33:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-29 11:33:27 +0200 |
commit | 39311e7009a249640fd73689fdabf7a4f44aae0f (patch) | |
tree | 9ae8af95662129f268ee040fd9457d0563129678 /doc/manual/release-notes/rl-0.8.xml | |
parent | 7c097275c486d6e2e9b4430092600da2427e2820 (diff) | |
parent | e4940e90f399c5cde5f44f099ca5cdf5340d22b8 (diff) |
Merge pull request #3549 from Ma27/fetchgit-hash
Merge legacy `fetchGit`-builtin with the generic `fetchTree`-function
Diffstat (limited to 'doc/manual/release-notes/rl-0.8.xml')
0 files changed, 0 insertions, 0 deletions