1.63.0 release notes - jakarta_omit

In the release notes the option is mentioned as JakartaMode=omit, but it should be specified as jakarta_omit.

Line 77 in 167a203

} else if (options[i].first == "jakarta_omit") {

The meaning of jakarta_omit is not intuitively clear. Can we change it to

I changed the release note to jakarta_omit for a quick fix now.

Let's restrict this issue to just the bad release notes, which are fixed. Discussion about the option name can continue in #11086.

Navigation Menu