Re: [Tomcat 10] Dropping deprecations/renaming typos in public API

2020-03-07 Thread Michael Osipov
Am 2020-03-07 um 11:28 schrieb Mark Thomas: On 07/03/2020 09:13, Michael Osipov wrote: Folks, just wanted to make sure to avoid reverts. I want to start to drop all deprecated stuff I have marked/participated in the last couple years. What if a public API contains a typo? Are we fine to rena

Re: [Tomcat 10] Dropping deprecations/renaming typos in public API

2020-03-07 Thread Mark Thomas
On 07/03/2020 09:13, Michael Osipov wrote: > Folks, > > just wanted to make sure to avoid reverts. > > I want to start to drop all deprecated stuff I have marked/participated > in the last couple years. What if a public API contains a typo? Are we > fine to rename that? It depends on how publ

[Tomcat 10] Dropping deprecations/renaming typos in public API

2020-03-07 Thread Michael Osipov
Folks, just wanted to make sure to avoid reverts. I want to start to drop all deprecated stuff I have marked/participated in the last couple years. What if a public API contains a typo? Are we fine to rename that? Michael -