I've been finding reviews.openocd.org very slow over the past few days - logging in sometimes times out, saving a review takes ages. It always seems to *eventually* get there and I can't see any sign of networking issues between me and it. Are there any known issues?
J. -- ] https://www.earth.li/~noodles/ [] To understand recursion, we must [ ] PGP/GPG Key @ the.earth.li [] first understand recursion. [ ] via keyserver, web or email. [] [ ] RSA: 4096/0x94FA372B2DA8B985 [] [
