Skip to content

Commit

Permalink
Add changes entry
Browse files Browse the repository at this point in the history
  • Loading branch information
lpw25 committed Nov 9, 2018
1 parent 2ad89e6 commit cd31809
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Changes
Original file line number Diff line number Diff line change
Expand Up @@ -445,6 +445,9 @@ Working version
pull requests; see CONTRIBUTING.md for more details.
(David Allsopp, review by Damien Doligez and Sébastien Hinderer)

- GPR#1610: Remove positions from paths
(Leo White)

- GPR#1703, GPR#1944: Add the module Compile_common, which factorizes the common
part in Compile and Optcompile. This also makes the pipeline more modular.
(Gabriel Radanne, help from Gabriel Scherer and Valentin Gatien-Baron,
Expand Down

0 comments on commit cd31809

Please sign in to comment.