12 Sep
2023
12 Sep
'23
10:11 p.m.
On 9/12/23 22:07, IOhannes m zmölnig wrote:
i'll probably turn the proxy into a redirect (but not before tomorrow morning),
that was a very short night, and i've now switched the links to a redirect.
ideally, msp.ucsd.edu would be reachable directly via https://, then we wouldn't need a proxy at all.
but this still holds true.
gfmads IOhannes