Update CHANGELOG for 1.3 release. (!127) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/changelog into master 5 years ago

Activity

Robbert Krebbers @robbertkrebbers · 5 years ago

Author Owner

Used git shortlog -sn coq-stdpp-1.2.1.. to obtain the names of all contributors. Sorted them alphabetically by firstname by hand.
Robbert Krebbers @robbertkrebbers · 5 years ago

Author Owner

And optimistically put the release date on tomorrow :)
Ralf Jung @jung · 5 years ago

Owner

LGTM!
Robbert Krebbers merged 5 years ago

merged
Robbert Krebbers mentioned in commit e61c2104 5 years ago

mentioned in commit e61c2104

Please register or sign in to reply