Commit b6f2f9e2 authored by Ralf Jung's avatar Ralf Jung

fix changelog wording

parent 4b8807b2
Pipeline #5965 passed with stages
in 11 minutes and 58 seconds
This file lists "large-ish" changes to the std++ Coq development, but not every
This file lists "large-ish" changes to the std++ Coq library, but not every
API-breaking change is listed.
## std++ 1.1.0 (unfinished)
......
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