#875404 cannot build jgdi with recent Java: sun.rmi.server

Package:
src:gridengine
Source:
gridengine
Submitter:
Chris West
Date:
2019-02-05 08:21:04 UTC
Severity:
wishlist