Increment the version to 7.3.0 for a formal release.
This was motivated by the need to release the fix for Bug #518.
Authored by: david_costanzo 2018-11-23
Parent: [r4673]
Child: [r4675]