@Anders Kaseorg: Sorry, I was in the process of updating the bug description and inadvertedly overwrite your changes.
I am however most definitely able to work around the issue removing quiet and splash...
Maybe we're even bunching two or more separate bugs here...
@Anders Kaseorg:
Sorry, I was in the process of updating the bug description and inadvertedly overwrite your changes.
I am however most definitely able to work around the issue removing quiet and splash...
Maybe we're even bunching two or more separate bugs here...