I only installed 3.0.2 this morning so this hasn't had much of a chance to happen.
Dec 11 2017
Nov 24 2017
Thanks. I'll give that a go. The only issue here is that it takes quite a long, random time to happen so chances are a successful fix is one where I never revisit this ticket :-)
Thanks for that assessment.
Nov 21 2017
Thanks for that clarification Jochen; at least it confirms I'm not going mad. I've got it installed now so will update this if it happens again although, in the meantime, it might be taking a look at the log I attached (if you haven't already) to see if it hints at any behaviour that you know has been fixed.
When you say "just was released", do you know what time that was at? My reason for asking is that I checked for an update just before posting this bug report! I'll try it and see how it goes.
File uploaded is the gpgol debug log file, 7-zipped (it's 165MB without zipping).