Digital clock uses 12-hour format even when 24-hour format is chosen

[Alexander Browne]

The digital clock in the panel uses uses 12-hour format even when 24-hour format is chosen. In fact, when I first opened "Configure Digital Clock", "Use 24-hour Clock" was already selected. Turning it off and on again doesn't change it either.

I noticed this is both a Disco live session and a new Disco clean install.

ProblemType: Bug
DistroRelease: Ubuntu 19.04
Package: plasma-workspace 4:5.14.90-0ubuntu1
ProcVersionSignature: Ubuntu 4.18.0-11.12-generic 4.18.12
Uname: Linux 4.18.0-11-generic x86_64
NonfreeKernelModules: wl
ApportVersion: 2.20.10-0ubuntu19
Architecture: amd64
CurrentDesktop: KDE
Date: Mon Jan 28 12:21:29 2019
InstallationDate: Installed on 2019-01-28 (0 days ago)
InstallationMedia: Kubuntu 19.04 "Disco Dingo" - Alpha amd64 (20190128)
SourcePackage: plasma-workspace
UpgradeStatus: No upgrade log present (probably fresh install)

[Alexander Browne (elcste)]

This works OK now in the latest disco daily build, presumably fixed with a newer Plasma package.