Add missing newline to PR progress body

[rwestberg]

Hi all,

Please review this minor fix that adds a missing newline to the recently updated PR summary body.

Best regards,
Robin

---------### Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed

Reviewers

• Erik Helin (ehelin - Reviewer)

Download

$ git fetch https://git.openjdk.java.net/skara pull/453/head:pull/453
$ git checkout pull/453

[bridgekeeper]

👋 Welcome back rwestberg! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request.

[mlbridge]

Webrevs

• 00: Full (0e5499f)

[edvbld]

Looks good!

[openjdk]

@rwestberg This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type /integrate in a new comment to proceed. After integration, the commit message will be:

Add missing newline to PR progress body

Reviewed-by: ehelin

• If you would like to add a summary, use the /summary command.
• To credit additional contributors, use the /contributor command.
• To add additional solved issues, use the /solves command.

➡️ To integrate this PR with the above commit message, type /integrate in a new comment.

[rwestberg]

/integrate

[openjdk]

@rwestberg
Pushed as commit 726cd95.

[mlbridge]

Mailing list message from Robin Westberg on skara-dev:

Changeset: 726cd95
Author: Robin Westberg <rwestberg at openjdk.org>
Date: 2020-02-18 15:07:30 +0000
URL: https://git.openjdk.java.net/skara/commit/726cd95c

Add missing newline to PR progress body

Reviewed-by: ehelin

! bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java