Should I use Bug ID JDK-8239012 or JDK-8234608 for this 14u backport?

[Jesper Wilhelmsson]

Since JDK-8234608 is the bug mentioned in the commit comment, let's use that one as the main bug. Let me clean that up for you.
Please don't push the backport until I get back to you.
/Jesper


> On 19 Feb 2020, at 22:01, Man Cao <manc at google.com> wrote:
> 
> Hi,
> 
> I'm trying to submit a backport to 14u:
> https://bugs.openjdk.java.net/browse/JDK-8239012.
> The problem is that I initially created JDK-8234608
> <https://bugs.openjdk.java.net/browse/JDK-8234608>, and "Fix Version" was
> set to 14. When I pushed it to jdk/jdk, the major version has become 15, so
> "HG Updates" automatically created JDK-8239012
> <https://bugs.openjdk.java.net/browse/JDK-8239012>.
> I have closed JDK-8234608 <https://bugs.openjdk.java.net/browse/JDK-8234608> as
> a duplicate, but the commit record
> <https://hg.openjdk.java.net/jdk/jdk/rev/7ec9c6a6df4f> in JDK-8239012
> <https://bugs.openjdk.java.net/browse/JDK-8239012> still shows JDK-8234608.
> 
> So the question is, when I push it to 14u, should I keep using JDK-8234608
> as the bug ID in the commit message, or can I change it to JDK-8239012?
> 
> -Man