Comment 8 for bug 1878108

The verification for focal looks good to me.

Get:1 http://192.168.10.7/ubuntu focal-proposed/main amd64 tzdata all 2020a-0ubuntu0.20.04 [293 kB]
Fetched 293 kB in 0s (3,516 kB/s)
Preconfiguring packages ...
(Reading database ... 258739 files and directories currently installed.)
Preparing to unpack .../tzdata_2020a-0ubuntu0.20.04_all.deb ...
Unpacking tzdata (2020a-0ubuntu0.20.04) over (2019c-3ubuntu1) ...
Setting up tzdata (2020a-0ubuntu0.20.04) ...

Current default time zone: 'America/Los_Angeles'
Local time is now: Wed May 13 10:54:43 PDT 2020.
Universal Time is now: Wed May 13 17:54:43 UTC 2020.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

bdmurray@clean-focal-amd64:~$ zdump -v Africa/Casablanca > after-update.txt
bdmurray@clean-focal-amd64:~$ diff -Nurp before-update.txt after-update.txt
--- before-update.txt 2020-05-13 10:51:49.783893730 -0700
+++ after-update.txt 2020-05-13 10:54:58.547750187 -0700
@@ -116,8 +116,8 @@ Africa/Casablanca Sun Jun 9 01:59:59 2
 Africa/Casablanca Sun Jun 9 02:00:00 2019 UT = Sun Jun 9 03:00:00 2019 +01 isdst=0 gmtoff=3600
 Africa/Casablanca Sun Apr 19 01:59:59 2020 UT = Sun Apr 19 02:59:59 2020 +01 isdst=0 gmtoff=3600
 Africa/Casablanca Sun Apr 19 02:00:00 2020 UT = Sun Apr 19 02:00:00 2020 +00 isdst=1 gmtoff=0
-Africa/Casablanca Sun May 24 01:59:59 2020 UT = Sun May 24 01:59:59 2020 +00 isdst=1 gmtoff=0
-Africa/Casablanca Sun May 24 02:00:00 2020 UT = Sun May 24 03:00:00 2020 +01 isdst=0 gmtoff=3600
+Africa/Casablanca Sun May 31 01:59:59 2020 UT = Sun May 31 01:59:59 2020 +00 isdst=1 gmtoff=0
+Africa/Casablanca Sun May 31 02:00:00 2020 UT = Sun May 31 03:00:00 2020 +01 isdst=0 gmtoff=3600
 Africa/Casablanca Sun Apr 11 01:59:59 2021 UT = Sun Apr 11 02:59:59 2021 +01 isdst=0 gmtoff=3600
 Africa/Casablanca Sun Apr 11 02:00:00 2021 UT = Sun Apr 11 02:00:00 2021 +00 isdst=1 gmtoff=0
 Africa/Casablanca Sun May 16 01:59:59 2021 UT = Sun May 16 01:59:59 2021 +00 isdst=1 gmtoff=0