tree 17775230a3e4008791fae602815217b2c7176c06
parent 8a69beded287a7ca4ba210ece099d42367fcf526
parent 67e42c5d1ff58780ed564613a58a699c5215cb06
author Treehugger Robot <treehugger-gerrit@google.com> 1493747816 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1493747817 +0000

Merge "seos: fix osTaskIsChre null pointer dereference"