On Fri, 1 Feb 2019 20:10:36 +0100
"Carlos E. R." <robin.listas(a)telefonica.net> wrote:
Yes, /var/lib/rpm was "moved" aka deleted.
Well to be fair there is a big difference between moved and deleted!
To unsubscribe, e-mail: opensuse+unsubscribe(a)opensuse.org
To contact the owner, e-mail: opensuse+owner(a)opensuse.org