On 22 January 2018 at 13:38, Peter Maydell <peter.mayd...@linaro.org> wrote: > On 22 January 2018 at 12:38, Dr. David Alan Gilbert <dgilb...@redhat.com> > wrote: >> It's probably better to remove the whole set of 6, then we can come >> back to it later rather than leaving something half-implemented in >> there. > > OK. I'm currently running a commit with > git revert --no-commit 31bf06a9d6844d^..ca6011c232912 > through my build tests, though I'll hold off on actually pushing it > for a bit to give people time to comment.
I've now pushed this revert to master. thanks -- PMM
