Op vr 25 jan. 2019 om 12:07 schreef Otto Kekäläinen <o...@debian.org>: > > > Not sure where p.ci comes from.. > > Funny. No results from source package with '$ grep -rF p.ci *'. > > And steps to reproduce is simply 'apt install mariadb-server-10.3' ?
Probably not. I ran `apt upgrade` -- Olaf