Ah! got it. many thanks. John
> On May 10, 2019, at 4:57 AM, Jay McCarthy <jay.mccar...@gmail.com> 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 > <racket-dev@googlegroups.com> 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 racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-dev@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-dev@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. 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.
