Closed evansd closed 1 year ago
@adamchainz As discussed. The redirect is already in place but DNS changes might take a while to propagate so the docs may be available under both names for a while. Feel free to merge whenever you're happy.
Great. I've added a changelog note as well to advertise the move "officially".
@adamchainz As discussed. The redirect is already in place but DNS changes might take a while to propagate so the docs may be available under both names for a while. Feel free to merge whenever you're happy.