Re: RFR: JDK-8191202 Remove duplicated jmm.h

[Erik Joelsson]

The change looks good. I'm fine with leaving the decision for later with 
the open bug, but I do think the file should be in the library that 
exports the API.

/Erik

On 2017-11-21 03:42, Magnus Ihse Bursie wrote:
As part of the effort to remove duplicated files between Hotspot and 
JDK, the turn has now come to jmm.h.

Bug: https://bugs.openjdk.java.net/browse/JDK-8191202
WebRev: 
http://cr.openjdk.java.net/~ihse/JDK-8191202-remove-duplicated-jmm-h/webrev.01

/Magnus