[dns-operations] [Ext] DNS Flag Day 2020 will become effective on 2020-10-01

[Randy Bush]

> The main issue with having the discussion on github, is that it is a
> discussion on github, not on a major mailing list involving the
> operators and folks doing independent implementations.

for cabals which like a bubble, this is a feature, not a bug

randy