I was definitely not suggesting that! Rather, I was commenting on what I saw. The state of affairs, that predate your changeset.
> On 24 Jan 2020, at 17:29, Jonathan Gibbons <[email protected]> > wrote: > > Changing all this (especially javac!) is more than I wanted to do in this > changeset!
