[dns-operations] DNS Flag Day 2020 - the date

[Frank Habicht]

On 18/11/2019 00:25, Chris Jones wrote:
> Or because in the DD/MM/YYYY parts of the year, it encodes “53” in the date? :)
> 
> (For the MM/DD folks, you could achieve the same thing by using May 3rd)
for them it's in hexadecimal - 0x35