My F-11 and F-13 (XFCE) boxes did the DST switch, but my F-14 / KDE box
didn't. Then the KDE control thingy wouldn't let me reset the time ("you
don't have permission"). Finally did "sudo date -s", but I wonder what
caused this failure.
Regards,
John