On Tue, Apr 7, 2020 at 11:39 AM Julian Foad <julianf...@apache.org> wrote: > Nathan Hartman wrote: > > So I propose the following change: > > [...] > > Thoughts? > > No need for thoughts: if it seems better to you, it probably is. Just commit > it!
Okay then! Done in r1876246. Cheers, Nathan
