commit | bfc0314e87034024f3667023a3a1feb7d3085968 | [log] [tgz] |
---|---|---|
author | Per Lidén <pliden@openjdk.org> | Mon Nov 27 13:50:03 2017 +0100 |
committer | Per Lidén <pliden@openjdk.org> | Mon Nov 27 13:50:03 2017 +0100 |
tree | cec6a00bb2b4b8e4c30d72a6c78fd79d2e57e88d | |
parent | 1e7b0b326d516309d836d7fb7c7f8ff6237b2891 [diff] |
8191864: Provide a public destructor for WorkGang Reviewed-by: stefank, sjohanss