diff --git a/OWNERS_ALIASES b/OWNERS_ALIASES index 22af7de7db2..6597ae7efad 100644 --- a/OWNERS_ALIASES +++ b/OWNERS_ALIASES @@ -337,6 +337,7 @@ aliases: - RainbowMango - serathius - lilic + - dgrisonnet # sig-instrumentation-emeritus # - DirectXMan12