>>>>> On Sat, 11 Apr 2015, Ben de Groot wrote:

> On 6 April 2015 at 17:28, Michał Górny <mgorny@gentoo.org> wrote:
>> Dnia 2015-04-02, o godz. 10:14:28
>> I would like to ask the Council to confirm or reject the switch of
>> libav/ffmpeg default to ffmpeg. I don't want to take a stand there
>> but I'm concerned that our users will end up suffering a ping-pong
>> of developers fighting and changing the defaults from time to time.
>> 
>> [1]:https://archives.gentoo.org/gentoo-dev/message/50c181372e098719b2573e7b16c74482

> My reasons for the switch are summarized here:
> https://archives.gentoo.org/gentoo-dev/message/215e894205c6ca4a6e4e76291872ce95

> If anything more is wanted, please let me know, and I'd be happy to
> expand.

This is nothing more than a change of a flag's default. Users can
trivially override it with their own setting.

IMHO the council shouldn't get involved in such micromanagement.

Ulrich