Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

8.10.0 release notes. #10833

Merged
merged 1 commit into from
Oct 6, 2019
Merged

8.10.0 release notes. #10833

merged 1 commit into from
Oct 6, 2019

Conversation

Zimmi48
Copy link
Member

@Zimmi48 Zimmi48 commented Oct 6, 2019

No description provided.

@Zimmi48 Zimmi48 added the kind: documentation Additions or improvement to documentation. label Oct 6, 2019
@Zimmi48 Zimmi48 added this to the 8.10.0 milestone Oct 6, 2019
@Zimmi48 Zimmi48 requested a review from a team as a code owner October 6, 2019 11:00
@Zimmi48 Zimmi48 mentioned this pull request Oct 6, 2019
Merged
1 task
@vbgl vbgl self-assigned this Oct 6, 2019
vbgl added a commit that referenced this pull request Oct 6, 2019
@vbgl
Merge PR #10833: 8.10.0 release notes.
8ecc555 
Reviewed-by: vbgl
@coqbot coqbot added this to Request inclusion in 8.10.0 in Coq 8.10 Oct 6, 2019
@vbgl vbgl merged commit ee4ee17 into coq:master Oct 6, 2019
vbgl added a commit to vbgl/coq that referenced this pull request Oct 6, 2019
@vbgl
Backport PR coq#10833: 8.10.0 release notes.
c52830b
@Zimmi48 Zimmi48 deleted the changelog-8.10.0 branch October 6, 2019 18:23
@coqbot coqbot moved this from Request inclusion in 8.10.0 to Shipped in 8.10.0 in Coq 8.10 Oct 7, 2019
@gares gares mentioned this pull request May 15, 2020
Closed
39 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vbgl vbgl vbgl approved these changes

Assignees

@vbgl vbgl

Labels
kind: documentation Additions or improvement to documentation.
Projects
No open projects
Coq 8.10
  
Shipped in 8.10.0
Milestone
8.10.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Zimmi48 @vbgl