You can close that here.
Wow that was fast. I've just updated my apt sources and the package just
came in. Brand new.
- Bug#923326: RFP: trava-jdk-11-dcevm -- Alternative VM for Op... Michael Meier
- Bug#923326: Acknowledgement (RFP: trava-jdk-11-dcevm --... Michael Meier