On Fri, 2020-08-14 at 10:01 -0400, Lewis Hyatt wrote: > On Wed, Aug 12, 2020 at 12:54 PM Richard Sandiford > <richard.sandif...@arm.com> wrote:
[...] > > OK with those changes in 24 hrs if noone objects or asks for a > > delay. > > > > Thanks, > > Richard > > Thanks for the review, and sorry about the formatting glitches. I > pushed it just now with your fixes. Thanks! (both to you and to Richard)
