Commit 18b2e64f authored by POTTIER Francois's avatar POTTIER Francois

Update the date in coq-menhirlib/CHANGES.md before the release.

parent 59c3c754
Pipeline #84230 passed with stages
in 26 seconds
# Changes
## 2019/06/22
## 2019/06/26
* Fix compatibility with Coq 8.7 and Coq 8.9:
- In Coq 8.7, in the syntax { x : T & T' } for the sigT types,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment