Am 18.12.2019 um 11:06 schrieb Stefano:
It looks like it is a local problem. I just tested the minimal
so I guess there are problems with memory management. I will upgrade
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.