Integrated: JDK-8254748: Bad Copyright header format after JDK-8212218

Wed Oct 14 11:24:15 UTC 2020

On Wed, 14 Oct 2020 10:57:34 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:

> Please review this trivial copyright header fix. Thank you.

This pull request has now been integrated.

Changeset: ba140b0f
Author:    Thomas Stuefe <stuefe at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/ba140b0f
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8254748: Bad Copyright header format after JDK-8212218

Reviewed-by: shade, dholmes

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

PR: https://git.openjdk.java.net/jdk/pull/652