Yes 19.04 == Disco, sorry that I confused you by writing 19.10 in comment #8. The current PPA is for Disco.
Yes 19.04 == Disco, sorry that I confused you by writing 19.10 in comment #8.
The current PPA is for Disco.