On 17/07/2018 10:05, Andrew Jones wrote: > Andrew Jones (2): > scripts/arch-run: fix bad commit > scripts/arch-run: don't use env ENV > > scripts/arch-run.bash | 21 +++++++++++---------- > 1 file changed, 11 insertions(+), 10 deletions(-) > Applied, thanks. Paolo