Re: [pool] 2.12.0 update

2023-09-10 Thread Phil Steitz
Well, now I really do need to apologize. I looked carefully again at the japicmp report and now agree that it is best to leave things as they are. I don't think it is likely we will change the names again and this is what deprecations are for. So as far as I am concerned, things are good to go. I

Re: [pool] 2.12.0 update

2023-09-10 Thread Gary Gregory
It's all good Phil :-) I'm glad you took the time to look things over. Gary On Sun, Sep 10, 2023, 5:18 PM Phil Steitz wrote: > Well, now I really do need to apologize. I looked carefully again at the > japicmp report and now agree that it is best to leave things as they are. > I don't think it