On 18 February 2015 at 20:41, David Chisnall <David.Chisnall at cl.cam.ac.uk> wrote: > We do pull in releases, but Dimitry also cherry-picks bug fixes throughout the life of each release. Do you guys recommend those same fixes for dot-releases? I'd like to track and include them. --renato