Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The console port is high numbered and has been seen to occasionally collide with some other program in the CI environment. We do not use the console anything, so simply switch it off. (cherry picked from commit 48ff905)
- Loading branch information