Navigation Menu

Skip to content

Commit

Permalink
Changes entry
Browse files Browse the repository at this point in the history
  • Loading branch information
shindere committed Jun 18, 2018
1 parent 7222108 commit f795a42
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Changes
Expand Up @@ -116,6 +116,9 @@ Working version
(Sébastien Hinderer, Xavier Leroy and Damien Doligez; review by
Gabriel Scherer)

- GPR#1840: build system enhancements
(Sébastien Hinderer, review by ...)

### Internal/compiler-libs changes:

- GPR#1745: do not generalize the type of every sub-pattern, only of variables
Expand Down

0 comments on commit f795a42

Please sign in to comment.