[crac] Integrated: Remove a needless whitespace change and a needless #include file

Mon Sep 4 08:48:05 UTC 2023

On Sat, 2 Sep 2023 16:19:10 GMT, Jan Kratochvil <jkratochvil at openjdk.org> wrote:

> Remove a needless whitespace change and a needless #include file

This pull request has now been integrated.

Changeset: 0bfbf6fb
Author:    Jan Kratochvil <jkratochvil at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/0bfbf6fb96dc0fad20ee015cd3c089762b2db6dd
Stats:     2 lines in 2 files changed: 0 ins; 1 del; 1 mod

Remove a needless whitespace change and a needless #include file

Reviewed-by: rvansa

-------------

PR: https://git.openjdk.org/crac/pull/107