diff options
author | Nadrieril Feneanar | 2020-03-18 12:45:06 +0000 |
---|---|---|
committer | GitHub | 2020-03-18 12:45:06 +0000 |
commit | f90f00c38861a49eba950a59424be8796f266524 (patch) | |
tree | 2152dcc41b94b0bfdcddda79b5cf07c7a908bedb /README.md | |
parent | 8a9b1d75291d826e4235eb4e466e4fd70137dc90 (diff) | |
parent | 74a3dd59cbb5cebb8d4996188c11ef8af49cf91f (diff) |
Merge pull request #148 from Nadrieril/release
Cut release
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -157,7 +157,7 @@ same name as the corresponding test. ## Changelog -[???] +[0.4.0] - `dhall` now uses the stable Rust toolchain ! - Implement record puns |