Oh! Thanks for pointing that Pavel.
I should read comments fully ;-) I hadn't noticed that the
CSR was withdrawn - I saw it was closed and thought it
had been Approved.
Well - keep the @see then!
best regards,
-- daniel
On 29/05/2020 14:27, Pavel Rappo wrote:
Daniel, have you considered that comment from Paul Sandoz to that CSR?
IMHO removing the @see is not necessary in this respect, it's useful to point
to related reduction methods.
https://bugs.openjdk.java.net/browse/JDK-8245970?focusedCommentId=14341561&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-14341561
