They sold Google Domains, which was a domain Registrar. They still own and control their Domain Registry, Charleston Road Registry, Inc. which manages the gTLDs like .ing and .dev.