Ah! got it. many thanks. John
> On May 10, 2019, at 4:57 AM, Jay McCarthy <[email protected]> wrote: > > You look at the `pkg-show` file: > > http://drdr.racket-lang.org/52112/pkg-show > > -- > Jay McCarthy > Associate Professor @ CS @ UMass Lowell > http://jeapostrophe.github.io > Vincit qui se vincit. > > > On Thu, May 9, 2019 at 5:17 PM 'John Clements' via Racket Developers > <[email protected]> wrote: > 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. > > -- > 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/CAJYbDanhEn1u%2BCJcisUVPsgq9mag9Kbt6KGCyKF%3DY9uKkgf7Xg%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- 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/b68680fb-8273-4a16-a881-68c0b683fb7e%40mtasv.net. For more options, visit https://groups.google.com/d/optout.
