diff options
| author | Alexander Potapenko <ramosian.glider@gmail.com> | 2018-09-20 11:10:38 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-20 11:10:38 +0200 |
| commit | 25ff1e17d367ded0970d69c3dfdf023302d6ef23 (patch) | |
| tree | 2b178fa52764baf8fdcaadd337ae59fc76f0e7a0 /executor/common_linux.h | |
| parent | b117b6ed3dc89b7e307dab907dafc0e7defd5756 (diff) | |
dashboard/config: update upstream-kmsan.config to v4.19-rc4
The previous version has accidentally disabled many configs that were previously enabled on syzbot.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions