Anyone else seeing occasional, apparently random, coredumps from ksplashqml ?
paul@Orion-2017:~> sudo coredumpctl list
[sudo] password for root:
TIME PID UID GID SIG PRESENT EXE
Sat 2017-07-29 13:21:47 BST 1448 1000 100 6 * /usr/bin/ksplashqml
paul@Orion-2017:~>
Despite the coredump the splash screen appears OK.