Jeremy Fitzhardinge <jeremy@goop.org> wrote:> OK, thanks. Do you mind this patch going via tip.git?No.David