On Wed, 12 Feb 2025 19:49:42 GMT, Zhao Song wrote:
> The copyright header format check was introduced in
> [JDK-8346046](https://bugs.openjdk.org/browse/JDK-8346046). However, a user
> recently reported that the check doesn't catch incorrect copyright headers in
> this pr(https://github.com/op
On Wed, 12 Feb 2025 19:49:42 GMT, Zhao Song wrote:
> The copyright header format check was introduced in
> [JDK-8346046](https://bugs.openjdk.org/browse/JDK-8346046). However, a user
> recently reported that the check doesn't catch incorrect copyright headers in
> this pr(https://github.com/op
On Wed, 12 Feb 2025 19:49:42 GMT, Zhao Song wrote:
> The copyright header format check was introduced in
> [JDK-8346046](https://bugs.openjdk.org/browse/JDK-8346046). However, a user
> recently reported that the check doesn't catch incorrect copyright headers in
> this pr(https://github.com/op
On Wed, 12 Feb 2025 19:49:42 GMT, Zhao Song wrote:
> The copyright header format check was introduced in
> [JDK-8346046](https://bugs.openjdk.org/browse/JDK-8346046). However, a user
> recently reported that the check doesn't catch incorrect copyright headers in
> this pr(https://github.com/op