deal with same release date 4.7.2 and 4.7.1

I believe to fix the release date on 4.7.2 best practices say one should create a new 4.7.3 tag with corrected date. It gets a bit messy at this point trying to put a release date of 2017-09-07 in with that tag.