On Thu, 2016-07-28 at 21:32 +0530, Richard Henderson wrote: > For the benefit of Peter's ./scripts/clean-includes and friends, > please name these with *.inc.c, like in tcg/*/.
Ok. David merged the series in for-2.8 but I will send a subsequent patch to fix them up. Cheers, Ben.