Add Duration property to HistoryInfo#5208
Merged
Merged
Commits
Commits on Jun 18, 2018
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- committed
- committed
Commits on Jun 19, 2018
- committed