Am 18.12.2019 um 11:06 schrieb Stefano:
It looks like it is a local problem. I just tested the minimal
working
...
so I guess there are problems with memory management. I will upgrade
to
the current version and see what happens. Good to keep in mind that this
sort of things may happen,
You could also try to uninstall and reinstall the same version, maybe
something became corrupted.
cheers
sven