1. 2021-10-28 Re: kludgeMantis is no longer needed? openjdk-s Chris Plummer 2. 2021-10-28 kludgeMantis is no longer needed? openjdk-s Magnus Ihse Bursie