Lead Developer
Usually it’s instant but WordPress.org is having an issue with the automatic set live feature. I just asked them to manually do it, but it’s a Sunday so who knows.
You can re-install the entire theme using the .zip file, or just replace the functions.php file.