On Thu, May 5, 2016, at 08:18 PM, Karn Kallio wrote: > > The attached patch advances the racket version from 6.4 to the latest > release 6.5 Applied, thank you