George,
That worked, thanks.
Curious, though. The EDD Tickets plugin did not show an update available in the either the Updates or the Installed Plugins panel. I also had to deactivate and delete the 3.9.2 version before I could install 3.12.
Is there a better way to do this, or do I have to log into my account here every week to see if anything is updated?