On Thu, May 06, 2021 at 09:39:09AM +0200, Giovanni Mascellani wrote: > diff --git a/tools/make_zones b/tools/make_zones > new file mode 100755 > index 00000000000..6b88129f63b > --- /dev/null > +++ b/tools/make_zones Nit-pick: could we please name the script make_timezones (or make_tz)? Huw.