It turns out it was a brief error by gitlab. Sam
On Tue, Jul 7, 2020 at 11:42 AM Simon Schlee <[email protected]> wrote: > > yes it works again! > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/0673a1d4-5cf0-4969-97b6-9bb1dbb3c298o%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2Bae9%3DppHJBUFavH2TPLg639-q9nCMbFcz3mEx5aZt2rdQ%40mail.gmail.com.

