diff options
author | Julia Lawall <Julia.Lawall@inria.fr> | 2021-10-23 17:56:47 +0200 |
---|---|---|
committer | Julia Lawall <Julia.Lawall@inria.fr> | 2021-10-23 21:48:36 +0200 |
commit | 33e71e95f4eb444646cada9d90e41984ba2c173d (patch) | |
tree | b8da0f3ac4fe8e8108c62e0d1145c7811df45705 /scripts | |
parent | ac5f313624d876b41d4a1292181d17e80d44159c (diff) |
coccinelle: update Coccinelle entry
Update mailing list, website, and tree. Drop Michal Marek as a
maintainer, who has not participated in a long time.
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Reviewed-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions