![[Jenkins]](/jenkins/static/a8056fcf/images/svgs/logo.svg){kind=logo}
Summary
- Fix mosh build (commit: 3de7b21) (details)
| The file was modified | components/shell/mosh/mosh.p5m (diff) |
| The file was modified | components/shell/mosh/Makefile (diff) |
| The file was modified | components/shell/mosh/mosh.p5m (diff) |
| The file was modified | components/shell/mosh/Makefile (diff) |