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.