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

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] Rename Bugzilla Component "Media Elements" to "Media"

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