Thanks, that worked! Both the php file and the readme file must have their versions updated.
Now, is it just a matter of time before the wp-admin for other users informs them that there’s a new version? Or do I have to do anything to trigger a “new version” propogation?