commit | 2afd796f3bab79ff9dd92d2a88f99dbec819ce15 | [log] [tgz] |
---|---|---|
author | Davor Bonaci <davorbonaci@users.noreply.github.com> | Fri Jan 06 19:21:33 2017 -0800 |
committer | GitHub <noreply@github.com> | Fri Jan 06 19:21:33 2017 -0800 |
tree | 13f2b70151ae103a033a5e3b9d6814631dbc4d94 | |
parent | d6eff9a48b5e9964611a22ab4125fe68a4d00b9c [diff] | |
parent | 1776578d6c1cbe3c9dbf643ae50c0b8b1b53278c [diff] |
Merge pull request #527 from dhalperi/cherry-pick-properties Cherry pick properties and update for release.