On 4 October 2016 at 18:02, Laurent Vivier <laur...@vivier.eu> wrote: > > > Le 04/10/2016 à 15:13, Peter Maydell a écrit : >> In commit 40df8c0c0722 support was added for target-specific > > I don't have commit 40df8c0c0722, I have > ee8e76141b4dd00f8e97fda274876a17f9a46bbe. > > Is this something wrong with my repo?
No, I cut-n-pasted the wong commit hash into the commit message by accident. The commit message should read "ee8e76141b4dd" (the patch itself is correct I think). thanks -- PMM