Skip to content

[v8r2] Small fixes

Fix a few problems in scripts (see commits) Progress bar now on stderr, allowing redirection of output to a file still seeing the progress (thanks Chris for the idea)

Merge request reports