Closed ehuss closed 1 year ago
This fixes a mistake in the example for grepping for diagnostic output.
This fixes a mistake in the example for grepping for diagnostic output.