diff --git a/contributors/emails/henrino3@gmail.com b/contributors/emails/henrino3@gmail.com new file mode 100644 index 0000000000000..eacf3fa16a593 --- /dev/null +++ b/contributors/emails/henrino3@gmail.com @@ -0,0 +1 @@ +h-mascot