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.

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

make headline and system (partially) deletable #22414

merged 1 commit into from Feb 10, 2020


Copy link

joshblum commented Feb 6, 2020

No description provided.

@joshblum joshblum requested a review from mmaxim Feb 6, 2020

This comment has been minimized.

Copy link
Member Author

joshblum commented Feb 7, 2020

(flake unrelated)

mmaxim approved these changes Feb 10, 2020
@joshblum joshblum merged commit 92b6def into master Feb 10, 2020
1 of 2 checks passed
1 of 2 checks passed
continuous-integration/jenkins/pr-head This commit cannot be built
ci/circleci Your tests passed on CircleCI!
@joshblum joshblum deleted the joshblum/deltypes-HOTPOT-1543 branch Feb 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.