Error: ID space not empty at destruction time

[Emery Hemingway]

Hello Stefan,

I would not worry about this error, it will disappear in the near future
and for the moment you should not suffer any side effects.

Regards,
Emery

On Tuesday, July 17, 2018 1:46:51 PM CEST, Stefan Thöni wrote:
> Hello Genodians,
>
> when the verify tool is terminated by removal from the init config after
> having done its job both ram_fs used for public and depot yield an
> "Error: ID space not empty at destruction time".
>
> Should I worry about these errors?
>
> Bests
> Stefan
>