Email Gateway (Aug 22 2022 at 16:44): Email Gateway (Aug 22 2022 at 16:44):From: Kawin Worrasangasilpa <kw448@cam.ac.uk>
Hi,
Lately, I have been facing a problem that sledgehammer does not respond but
shows that it is running sometimes. I don't know this problem is a kind of
version 2017's bug or not, but I think it is not. This is because I faced
it more often since last month with version 2016, so I changed to 2017
hoping it would help. Could I ask whether there are any settings or
checking processes that I can do to sort this out?
Thanks,
Kawin
Email Gateway (Aug 22 2022 at 16:44):From: Makarius <makarius@sketis.net>
What is your operating system? Did you change anything there recently?
Updates etc.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC