On Wed, 29 Jul 2020, Joseph Myers wrote: > On Wed, 29 Jul 2020, Richard Biener wrote: > > > Note that any workable solution is fine with me, I just > > don't feel comfortable approving the solution involving > > ../curr_stage and friends. Joseph, would HJs latest > > patch be OK technically? > > Yes, I think that's OK.
Thus the patch is OK then. Thanks HJ, Richard.
