Re: [webkit-dev] Rename Bugzilla Component "Media Elements" to "Media"

2019-02-01 Thread Maciej Stachowiak 

Sounds good to me.

> On Feb 1, 2019, at 10:52 AM, Lucas Forschler  wrote:
> 
> Hello all,
> 
> I propose renaming the Bugzilla component “Media Elements” to “Media”.
> 
> Are there any objections or concerns with this rename?
> 
> Thanks,
> Lucas
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

[webkit-dev] Rename Bugzilla Component "Media Elements" to "Media"

2019-02-01 Thread Lucas Forschler 
Hello all,

I propose renaming the Bugzilla component “Media Elements” to “Media”.

Are there any objections or concerns with this rename?

Thanks,
Lucas
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev