If we had a dedicated ubuntu maintainer, it would not have been a bad choice, but we mostly rely on the debian port.
If we had a dedicated ubuntu maintainer, it would not have been a bad choice, but we mostly rely on the debian port.