diff options
author | 2017-10-16 13:20:58 -0400 | |
---|---|---|
committer | 2017-10-16 17:11:09 -0400 | |
commit | d69d2a56314c4335fff6bd524e186852a69ca2f6 (patch) | |
tree | d850cda9f04745057c015018c341f16eab414014 /.gitreview | |
parent | b523d5f17ff7e8d3cf011d93374124a0f49d9ba8 (diff) |
Bump version.properties to 1.3.1
Not certain whether this is required, but now it's consistent.
Issue: PORTAL-127
Change-Id: I5d01504b658eb96d63ece01006f9444d93131c27
Signed-off-by: Christopher Lott (cl778h) <clott@research.att.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions