Closed marco-c closed 6 years ago
@jdm I've noticed the GitHub issues have been missing for a while. I thought it was an effect of GitHub being broken last week, but they are still missing.
I will investigate this today.
This has been fixed by updating a server configuration file.
@jdm I've noticed the GitHub issues have been missing for a while. I thought it was an effect of GitHub being broken last week, but they are still missing.