diff options
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 40fa1955ca3f..19053767bed2 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -10549,6 +10549,7 @@ M: Andrey Ryabinin <[email protected]> R: Alexander Potapenko <[email protected]> R: Andrey Konovalov <[email protected]> R: Dmitry Vyukov <[email protected]> +R: Vincenzo Frascino <[email protected]> S: Maintained F: Documentation/dev-tools/kasan.rst |