Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Contained a syntactic and a semantic mistake. No problems were observed, because the two canceled each other out. Change-Id: I75232daa3fa2df2db338a00f561d6f54027bffed Reviewed-by: Joerg Bornemann <[email protected]>
- Loading branch information