12/11/2020 14:38, David Marchand: > While testing Thomas patch on this script verbosity, I noticed that we > load the x86-default environment after installing this target. > I did not see any problem with it, yet we should load corresponding > environment before installing a target.
Reworded first sentence to make it less personal ;) "The x86-default environment was loaded after installing this target." and applied, thanks.
