Integrated: 660: Add blank line prior to PR body HTML comment
ehelin at openjdk.java.net
Wed Sep 16 08:28:44 UTC 2020
On Wed, 16 Sep 2020 08:12:57 GMT, Erik Helin <ehelin at openjdk.org> wrote:
> Hi all,
> please review this patch that adds a newline (a blank line) prior to the bots `` message. This is needed to avoid bad
> interactions with GitHub's Markdown parser for some of the more esoteric Markdown features of GitHub Flavored Markdown.
> - [x] `make test` passes on Linux x64
> - [x] `make images` passes on Linux x64
This pull request has now been integrated.
Author: Erik Helin <ehelin at openjdk.org>
Stats: 2 lines in 2 files changed: 0 ins; 0 del; 2 mod
660: Add blank line prior to PR body HTML comment
More information about the skara-dev