![[Jenkins]](/jenkins/static/cf0a1f3c/images/svgs/logo.svg){kind=logo}
Summary
- git: use gawk for completion (commit: 4875689) (details)
| The file was modified | components/developer/git/Makefile (diff) |
| The file was modified | components/developer/git/git.p5m (diff) |
| The file was added | components/developer/git/patches/0010-use-gawk-for-completion.patch |