/usr/bin/variety stopped working due to new clock/time format?

Hello,

This is somewhat of a follow-up to my post about having dual clock post upgrading https://ubuntu-mate.community/t/19-10-dual-clock/20699

I have just noticed that variety as stopped working:

** (variety:2056): WARNING **: 21:22:12.868: Unsupported time format

WARNING: 2019-12-12 21:22:12,896: create_menu() 'Variety Slideshow is not installed. This is an optional extension adding pan-and-zoom slideshows to Variety: see https://github.com/peterlevi/variety-slideshow for details'

** (variety:2056): WARNING **: 21:22:12.926: Unsupported time format

** (variety:2056): WARNING **: 21:22:12.928: Unsupported time format

[1] 2056 segmentation fault (core dumped) /usr/bin/variety

Here's what /var/log/kern.log has to say:

Dec 12 21:22:12 myhostname kernel: [877710.795306] Code: ff ff 48 83 c4 08 48 89 c7 e9 37 ff ff ff 0f 1f 80 00 00 00 00 f3 0f 1e fa 48 83 ec 08 e8 d3 ff ff ff 48 85 c0 74 16 48 89 c7 <48> 8b 00 48 8b 80 98 00 00 00 48 83 c4 08 ff e0 0f 1f 00 31 c0 48

Of course, am running latest everything at the time of experiencing this:

Linux myhostname 5.3.0-24-generic #26-Ubuntu SMP Thu Nov 14 01:33:18 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux

Best,

Here's an update on this situation:

So all of my home boxes run UM 19.10 latest. Amongst those, a laptop which I installed 19.10 from scratch on it and configured variety over. Am NOT having any problems.

This problem really seem to happen only when upgrading from previous stable (19.04) to 19.10 when the old clock/time setting was used.

I have NOT however upgraded more than 1 system from 19.04 to 19.10 so I am not able to verify if this is a general problem when upgrading to 19.10 but I would believe that it is.

Cheers!

PS: Of course purging "variety" off my system (the one that doesn't work from my first post) and reinstalling it did not fixed anything and it is still segfaulting on launch.