The alert at the top of the WP page indicated that a new version of Gravity Forms (1.7.3) was available, so I used the automatic download function to install it. However, my pluggins page says that I installed version 1.7.2 instead.
Just before doing this, I had followed exactly the same steps to download and install version 1.7.3 on my testing/sandbox site. When completed, my pluggins page for that site indicated that I had installed version 1.7.3 as expected.
Is there any reason why I should I be concerned about this?