diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-05-21 10:59:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-21 10:59:59 +0200 |
commit | af366c7adf10cbf1f97eb51f6be9265126e19192 (patch) | |
tree | 9fe79c1e00298e310727dbec17078532f6a2532a /core/os/os.h | |
parent | e6ff562a4bd0d6332c561757505cc16503104b04 (diff) | |
parent | 7b1423a61ea6a5249d29ddbb3866ce815f16497c (diff) |
Merge pull request #35900 from yamgent/unreachable
Fix false positive "Unreachable code" warning for loops
Diffstat (limited to 'core/os/os.h')
0 files changed, 0 insertions, 0 deletions