Closed andy-maier closed 1 week ago
For details, see the commit message.
coverage: 82.453% (-0.1%) from 82.595% when pulling a7908137cc0e6b00431a83a1c3868c96e198efd7 on andy/os-console into 784ab124e5c71caeabdcb2bebfd280a52e2fddf5 on master.
@EdGue42 I rejected one comment and followed the other one. The PR needs to wait until its underlying PR is merged.
For details, see the commit message.