I have the distinct feeling that I’ve seen someone ask this question before, but I can’t find the answer in my e-mail, so I’m just going to ask it again. Is there an easy way to see which commit of (say) the htdp/ repo went into a particular DrDr build?
John -- 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 [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/5941c097-72a7-4ab7-9907-3cf4f262bf85%40mtasv.net. For more options, visit https://groups.google.com/d/optout.
