![[Jenkins]](/jenkins/static/a8056fcf/images/svgs/logo.svg){kind=logo}
Summary
- ggrep: update to 3.1 (commit: 078991d) (details)
| The file was removed | components/text/ggrep/resolve.deps |
| The file was modified | components/text/ggrep/test/results-64.master (diff) |
| The file was modified | components/text/ggrep/Makefile (diff) |
| The file was removed | components/text/ggrep/resolve.deps |
| The file was modified | components/text/ggrep/test/results-64.master (diff) |
| The file was modified | components/text/ggrep/Makefile (diff) |