I'd also like to advertise #1355 and #1464 https://github.com/racket/racket/pull/1355 https://github.com/racket/racket/pull/1464
#1355 lets the documentation search box filter by #langs. Searching for "H:" returns a list of all valid #langs (like how "L:" returns all modules), and you can combine it with normal queries, e.g. "Integer H:typed/racket". Try "H:" in the docs here: http://www.ccs.neu.edu/home/types/racket-doc/search/index.html (It also supports "R:" for reader modules.) #1464 implements globbing for path strings, for example `(glob "{foo,bar}*.rkt")` returns a list of paths to all ".rkt" files in the current directory whose name starts with "foo" or "bar". On Mon, Oct 3, 2016 at 12:42 PM, Alexis King <[email protected]> wrote: > I would like to request that somebody take a look at this[1] pull > request that adds support for private git repos to the package > system before the release process. It’s not really urgent, so if > people have any concerns with it, I’m happy to leave it out of this > release, but if people think it looks okay, it would be really nice > for me to have access to it in v6.7. > > [1]: https://github.com/racket/racket/pull/1472 > > > On Oct 1, 2016, at 8:21 AM, Vincent St-Amour < > [email protected]> wrote: > > > > The release process for v6.7 will begin in about a week. If > > you have any new features that you want in and are relatively close > > to being done, now is a good time to do that. > > -- > 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/F81216BC-4B50-4E9D-AEE4-BF57D1E2A4D5%40gmail.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/CAFUu9R6uRndECcouw3Ln_ETZwUUuw%3DiuCW1MgKW5chbV980cgQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
