On Fri, Mar 13, 2026 at 08:55:59PM +0100, Reto Kromer via ffmpeg-devel wrote: > > On 13 Mar 2026, at 20:42, Ingo Oppermann via ffmpeg-devel > > <[email protected]> wrote: > > > > > > > >> On 13 Mar 2026, at 20:22, Michael Niedermayer via ffmpeg-devel > >> <[email protected]> wrote: > >> > >> Hi all > >> > >> what name should we give 8.1 ? > >> > >> I already asked but it seems people missed teh question in the 8.1 thread > >> > >> Just want to make sure everyone heared the call > > > > "Hoare" (https://en.wikipedia.org/wiki/Tony_Hoare) > > +1
good pick, will do the release probably tomorrow thx [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Direct Democracy is when the decissions are made by the People, most of whom have no interrest, no time and incomplete understanding of a choice while being bombarded with misleading information. Representative Democracy is when you are handed 2 dice and can choose which to roll.
signature.asc
Description: PGP signature
_______________________________________________ ffmpeg-devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
