So to summarize the discussion so far:
* nobody is strongly arguing for an instability period after the bump,
and there are good reasons against it, therefore we should NOT have
one
* the bump can be done either as bump-then-remove or remove-then-bump
* there are advantages and disadvantages for both of those, nobody
expressed a strong preference for either, so you can keep this as
is
Please correct me if I misunderstood or missed something, or somebody
has a new opinion.
--
Anton Khirnov
_______________________________________________
ffmpeg-devel mailing list
[email protected]
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
[email protected] with subject "unsubscribe".
