Thanks for investigating this, Jochen! Just a small correction: when you wrote
> There was a problem with hourly and daily diffs missing some changes on Nov > 11 2020. I assume actually meant November 29, right? _______________________________________________ dev mailing list dev@openstreetmap.org https://lists.openstreetmap.org/listinfo/dev