I've tried the patches and everything seems to be fine as long as it's a new user/config.
When I tried with my regular user account virtuoso went crazy for over one and a half hours... untill I killed the processes and started fresh. I guess I should try it more hours to be sure all is ok. I'll report back here soon
@Sebastian sorry for the delay.
I've tried the patches and everything seems to be fine as long as it's a new user/config.
When I tried with my regular user account virtuoso went crazy for over one and a half hours... untill I killed the processes and started fresh. I guess I should try it more hours to be sure all is ok. I'll report back here soon