On Nov 25, 2013, at 4:31 PM, Joern Rennecke <joern.renne...@embecosm.com> wrote: > On 25 November 2013 23:27, Mike Stump <mikest...@comcast.net> wrote: >> Certainly it is reasonable to include this, and by doing this, one doesn't >> have to worry if another header changes to not include it. >> >> Ok for the patch directly below? > > OK.
Oh, and I did mean to ask, Ok? for the original patch as well.