6837: More formal tone in the agent settings #118
Conversation
|
@thegreystone This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 2 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the
|
/integrate |
@thegreystone Since your change was applied there have been 4 commits pushed to the
Your commit was automatically rebased without conflicts. Pushed as commit e74a5ff. |
Wasn't as bad as I remembered it.
Progress
Issue
Reviewers
Download
$ git fetch https://git.openjdk.java.net/jmc pull/118/head:pull/118
$ git checkout pull/118