new password update feature not working

The 3.43 release notes say, "Password changes to mail / FTP users from the Users and Groups modules now correctly update all the various passwords maintained by Virtualmin, such as MySQL and SVN - if the option to update in other modules is checked." But this doesn't seem to be working, at least for SVN user passwords. I made a password change to one of my svn users using the "Users and Groups" tool, and the "Modify user in other modules?" option is set to Yes, but the {domain}/etc/svn.basic.passwd file was not updated.