Comment 5 for bug 1495314

Yeah I understand you don’t want to share your history db, that’s absolutely fine, I wasn’t even asking for it :)
But if you keep a copy of it before clearing it next time it happens to you, that may help debugging the issue.
Anyway, I’m glad to know that the issue hasn’t happened again so far.