Re: RFR: JDK-8266856 Make element void

[Iris Clark]

On Tue, 18 May 2021 17:15:56 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:

> Please review a simple fix to treat `war` as a void element.

Marked as reviewed by iris (Reviewer).

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

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