Hello, Can't you rename /etc/default/pioneers-console to /etc/default/pioneers-meta-server when upgrading from 0.12.2 to 0.12.3?
I think that you could perform the rename, because the contents should be the same, and the package was split for administrative reasons. With kind regards, Roland Clobus
signature.asc
Description: This is a digitally signed message part