In general a discussion like this can happen in the pull request as part
of the review. All PR comments are forwarded to the mailing list anyway.
-- Kevin
On 4/4/2020 3:21 AM, Jeanette Winzenburg wrote:
as an example take f.i.
https://bugs.openjdk.java.net/browse/JDK-8129123 (and its pull request
https://github.com/openjdk/jfx/pull/136 with a good starter to a
solution) has open questions - for me, at least :)
Places to discuss: the pull request? the mailing list? the issue?
Where would such a debate - assuming there's some lasting value in it
- be best done such that it wouldn't be lost?
-- Jeanette
