Getting updates from upstream.#1
Merged
uformia merged 41 commits intouformia:masterfrom Feb 11, 2018
Merged
Commits
Commits on Apr 18, 2014
- committed
alessio.montagnani
Commits on Dec 10, 2014
Commits on Dec 15, 2014
- committed
Commits on Apr 18, 2015
Commits on May 15, 2015
- committed
Commits on Jun 24, 2016
Commits on Nov 18, 2016
Commits on Dec 7, 2016
Commits on Dec 8, 2016
- authored
Commits on Dec 13, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 11, 2017
- authored
Commits on Jan 13, 2017
- authored
- authored
- committed
- committed
- committed
- authored
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Jan 15, 2017
- committed
- committed
Commits on Mar 1, 2017
Commits on Mar 30, 2017
- authored andcommitted
