The idea with (1) was to get some baseline regarding how often it happens. Is it every restart, every 5 restarts, every 10 restarts?

Then, when you know that it e.g. happened every 3 restarts in (1) and you restarted the computer 10 times with (2) without any problem, we can be pretty sure this is the right fix.


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3946/2350932456@github.com>