On Mon, 14 Sep 2020 14:33:34 GMT, Galder Zamarreño <github.com+50187+gald...@openjdk.org> wrote:
>> @galderz Hmm, sorry. Apparently it's the PR title which makes up the >> synopsis. Probably has to be changed in the UI >> here. I didn't know that :( > > PR title changed... @galderz OK. Lets try the integrate/sponsor workflow. AFAIK it's integrate from you first and sponsor for me second. ------------- PR: https://git.openjdk.java.net/jdk/pull/94
