Oct. 9, 2018
7:53 p.m.
On 10/9/18 12:15 PM, Michael Douglass wrote:
Is it still too soon to suggest opaque ids again?
Oh, probably. :-) I've been filtering out duplicate messages notifying us that Brazil looks like it's going to start DST two weeks late this spring, as the messages are not adding any information to the topic. At some point it will be time to filter out duplicate "let's change 'Kiev' to 'Kyiv'" messages for the same reason, as the duplication will be causing more harm than good and this is irrespective of the merits of the arguments on either side.