2015-06-20 3:12 GMT+02:00 Vincent St-Amour <stamo...@ccs.neu.edu>: > For changes like typoes, Github has a "pencil" button at the top of its > source view that simplifies the pull-request process. > > > https://help.github.com/articles/editing-files-in-another-user-s-repository/
That's the simplest way of fixing typos. Is there somewhere we can advertise this? /Jens Axel -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
