I pushed to the wrong branch in racket/games :( https://github.com/racket/games/tree/19-10-SameTypo
Is it possible to remove this branch to avoid confusion? Gustavo PS: There is another branch in that repo that looks like a similar (old) error and a few branches in racket/racket. Perhaps it's a good time to check and delete them. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAPaha9O%3DPup1qG4%3D9SAFkYriJH-vTj8Fp4h_ycWPTh4Sp3SpQA%40mail.gmail.com.
