Bugs for openjdk-13 in Ubuntu Disco

There are currently no open bugs.