Closed rebkwok closed 4 months ago
ppa domains changed in 2022; although the old ones were supposed to remain indefinitely, they're currently inaccessible; but we should update to the new one anyway
https://blog.launchpad.net/ppa/new-domain-names-for-ppas
ppa domains changed in 2022; although the old ones were supposed to remain indefinitely, they're currently inaccessible; but we should update to the new one anyway
https://blog.launchpad.net/ppa/new-domain-names-for-ppas