Comment 3 for bug 1933828

I tried to reproduce this, to test the fix, but I am stuck trying to figure out how to manually set the ntp server. I can't see any difference between when the vm (with no network) has this /etc/NetworkManager/dispatcher.d/10-update-timesyncd file in place or not. I think that's good but maybe not so relevant without “seeing” the problem. I've been looking at the commands:
   ◇ systemctl status systemd-timesyncd
   ◇ timedatectl show
   ◇ timedatectl status
I believe timedatectl is the way a user would interact with timesyncd and there's a timedatectl command to set the time zone or even time, but nothing to set the server. So how the heck do you change the NTP server to something other than ntp.ubuntu.com?