Agreed. Sometimes the documentation is full of surprising, new features are added to APIs that I did not see just few days ago...
On Sat, Oct 3, 2015 at 7:11 AM, John Griffin <[email protected]> wrote: > For about a year or so, I've noticed that the documentation points to > release notes. In turn the release notes mention "changes noted in the > documentation." > > E.G. > > Version 6.2, April 2015 > Bug repairs and other changes noted in the documentation > > Version 6.1.1, October 2014 > Bug repairs and other changes noted in the documentation > > Is there for a given release a summary of the changes? To be fair, some > of my commits say things like "various changes since last commit." I just > don't want to miss out on any goodies as they arrive. > > I was about to post this to the users, rather than developers, as I'm > clearly in that camp. However, I figured that you guys were the ones that > make these notes. > > Thanks very much for an increasingly capable system. > > > -- > 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/110c3e99-6121-434c-9fa2-7c002f238501%40googlegroups.com > <https://groups.google.com/d/msgid/racket-dev/110c3e99-6121-434c-9fa2-7c002f238501%40googlegroups.com?utm_medium=email&utm_source=footer> > . > 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/CAFp0D54iPk7pgCW%3DptCiM%3DtrONXrF092H8iNcOKOOoEoMAJksA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
