Changeset: dd581cce39f4 Author: mbaesken Date: 2020-04-30 17:37 +0200 URL: https://hg.openjdk.java.net/jdk-updates/jdk11u-dev/rev/dd581cce39f4 8244196: adjust output in os_linux Reviewed-by: dholmes, mdoerr ! src/hotspot/os/linux/os_linux.cpp