August 26, 2018 – September 2, 2018
Overview
-
0 Active Issues
Excluding merges, 1 author
has pushed
2 commits to master and
2 commits
to all branches.
On master, 4 files
have changed and there have been
24 additions and
19 deletions.
2 Pull requests merged by 1 person
-
Merged
#18
Version 1.0.11 → 1.0.12
Aug 31, 2018 -
Merged
#17
Build against `dhall-1.17.0`
Aug 31, 2018