Plasma5 taskbar digital clock settings - short date

The digital clock settings for Plasma5 include “short date”. This
seems to appear for most users on my computers as DD/MM/YYYY so, for
today it is “15/06/2015”. I would prefer the alternate format “15 Jun
2015” but cannot find how to get this. Any suggestions?

Graham Davis [Retired Fortran programmer - now a mere computer user]
openSUSE Tumbleweed; KDE Plasma 5.3.1; Kernel: 4.0.4;
Processor: AMD Phenom II X2 550; Video: nVidia GeForce 210 (using
nouveau driver); Sound: ATI SBx00 Azalia (Intel HDA)

Take a look at this bug report regarding date/time formats (different format to the one you require, same reason though).

This bug report is also relevant…