[11:56] <PaulW2U> So mantic it is then: https://launchpad.net/ubuntu/mantic. But Mantic what?
[13:23] <guiverc> thanks PaulW2U