![[Jenkins]](/jenkins/static/cf0a1f3c/images/svgs/logo.svg){kind=logo}
Summary
- Bump dejagnu to 1.6 (commit: fecb125) (details)
| The file was added | components/developer/dejagnu/dejagnu.license |
| The file was added | components/developer/dejagnu/resolve.deps |
| The file was removed | components/dejagnu/Makefile |
| The file was added | components/developer/dejagnu/Makefile |
| The file was removed | components/dejagnu/dejagnu.license |
| The file was added | components/developer/dejagnu/dejagnu.p5m |
| The file was removed | components/dejagnu/dejagnu.p5m |
| The file was removed | components/dejagnu/resolve.deps |