4.7.2

parrt@cs.usfca.edu

be58ebff · [maven-release-plugin] prepare release 4.7.2 · Dec 18, 2018

[maven-release-plugin]  copy for tag 4.7.2