Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bug fixes: - Hotfix for west grep. For details, see: zephyrproject-rtos#700 Signed-off-by: Martí Bolívar <[email protected]>
- Loading branch information