8000 Release 8.11.2 by ppedrot · Pull Request #12328 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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

Merged
merged 4 commits into from
May 14, 2020
Merged

Release 8.11.2 #12328

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 ejgallego and a team 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
Labels
kind: infrastructure CI, build tools, development tools.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant
0