d3e5a3b7db
This partially reverts commit df4ee7db4c.
The changes to logging and ci-start.sh are kept.
This partially reverts commit df4ee7db4c.
The changes to logging and ci-start.sh are kept.