Skip to content

Release 8.11.2 #12328

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
Merged
ppedrot merged 4 commits into from
May 14, 2020
Merged

Release 8.11.2 #12328

ppedrot merged 4 commits into from
May 14, 2020

Conversation

@ppedrot
Copy link
Member

@ppedrot ppedrot commented May 14, 2020

No description provided.

@ppedrot ppedrot added the kind: infrastructure CI, build tools, development tools. label May 14, 2020
@ppedrot ppedrot added this to the 8.11.2 milestone May 14, 2020
@ppedrot ppedrot requested review from a team and ejgallego as code owners May 14, 2020 14:52
@ppedrot ppedrot self-assigned this May 14, 2020
@ejgallego ejgallego removed their request for review May 14, 2020 15:52
@ppedrot ppedrot merged commit 1539a9a into rocq-prover:v8.11 May 14, 2020
@ppedrot ppedrot deleted the release-8.11.2 branch May 14, 2020 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@ppedrot ppedrot

Labels

kind: infrastructure CI, build tools, development tools.

Projects

None yet

Milestone

8.11.2

Development

Successfully merging this pull request may close these issues.

1 participant

@ppedrot