On Fri, 19 Apr 2024 17:46:25 GMT, Zhao Song <zsong at openjdk.org> wrote: > There is no point to log "issue: bad whitespace" in whitespace jcheck. Thanks for the quick review! ------------- PR Comment: https://git.openjdk.org/skara/pull/1640#issuecomment-2067104271