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

Remove deprecated "Instance Generalized Output" flag #15023

Merged
merged 2 commits into from
Oct 17, 2021
Merged

Remove deprecated "Instance Generalized Output" flag #15023

merged 2 commits into from
Oct 17, 2021

Conversation

SkySkimmer
Copy link
Contributor

No description provided.

@SkySkimmer SkySkimmer added the kind: cleanup Code removal, deprecation, refactorings, etc. label Oct 14, 2021
@SkySkimmer SkySkimmer requested review from a team as code owners October 14, 2021 16:01
ejgallego
ejgallego approved these changes Oct 15, 2021
View reviewed changes
Copy link
Member

@ejgallego ejgallego left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems OK to me, will leave some time for others to comment.

@ejgallego ejgallego self-assigned this Oct 15, 2021
@ejgallego ejgallego added this to the 8.15+rc1 milestone Oct 15, 2021
@ejgallego ejgallego added the part: typeclasses The typeclass mechanism. label Oct 17, 2021
@ejgallego
Copy link
Member

@coqbot: merge now

@coqbot-app coqbot-app bot merged commit 77e0794 into coq:master Oct 17, 2021
@SkySkimmer SkySkimmer deleted the no-general-output branch October 18, 2021 08:32
LasseBlaauwbroek added a commit to coq-tactician/coq-tactician that referenced this pull request Oct 25, 2021
@LasseBlaauwbroek
Adapt to a bunch of upstream PR's (see below), possibly more
d710f31 
coq/coq#15023
coq/coq#14598
coq/coq#13837
coq/coq#14773
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ppedrot ppedrot ppedrot approved these changes

@ejgallego ejgallego ejgallego approved these changes

Assignees

@ejgallego ejgallego

Labels
kind: cleanup Code removal, deprecation, refactorings, etc. part: typeclasses The typeclass mechanism.
Projects
None yet
Milestone
8.15+rc1
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@SkySkimmer @ejgallego @ppedrot