[webkit-dev] New WebKit Reviewer: Mario Sanchez Prada

Romain Perier romain.perier at gmail.com
Fri Aug 23 13:14:35 PDT 2013


350 patches in 3 years ~=1 patch all 3 days, nice !

Congrats (beer, champagne, etc)    ;)

Le 23 août 2013 à 18:09, Denis Nomiyama <d.nomiyama at samsung.com> a écrit :

> Congrats Mario!
> 
>> -----Original Message-----
>> From: webkit-dev-bounces at lists.webkit.org [mailto:webkit-dev-
>> bounces at lists.webkit.org] On Behalf Of Brian Holt
>> Sent: 23 August 2013 16:11
>> To: webkit-dev at lists.webkit.org
>> Subject: Re: [webkit-dev] New WebKit Reviewer: Mario Sanchez Prada
>> 
>> Congratulations Mario!
>> 
>>> -----Original Message-----
>>> From: webkit-dev-bounces at lists.webkit.org [mailto:webkit-dev-
>>> bounces at lists.webkit.org] On Behalf Of Bruno de Oliveira Abinader
>>> Sent: 23 August 2013 16:07
>>> To: Christophe Dumez; webkit-dev at lists.webkit.org
>>> Subject: Re: [webkit-dev] New WebKit Reviewer: Mario Sanchez Prada
>>> 
>>> Congrats, Mario! :-)
>>> 
>>> From: Christophe Dumez <ch.dumez at sta.samsung.com>
>>> Date: Friday, August 23, 2013 10:53 AM
>>> To: "webkit-dev at lists.webkit.org" <webkit-dev at lists.webkit.org>
>>> Subject: [webkit-dev] New WebKit Reviewer: Mario Sanchez Prada
>>> 
>>> 
>>> 
>>> 	Hi WebKit folks,
>>> 
>>> 	I am happy to announce that Mario Sanchez Prada
>>> <mario.prada at samsung.com> is now a WebKit reviewer.
>>> 
>>> 	Mario has contributed over 350 patches to WebKit over the past 3
>>> years, mostly around Accessibility and the WebKitGTK+2 API.
>>> 
>>> 	Please join me in congratulating Mario for his new status!
>>> 
>>> 	Kr,
>>> 
>>> --
>>> Christophe Dumez - Samsung Telecommunications America
>> 
>> 
>> 
>> _______________________________________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> https://lists.webkit.org/mailman/listinfo/webkit-dev
> 
> 
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev



More information about the webkit-dev mailing list