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

Fix overviews #22

Merged
merged 3 commits into from
Dec 13, 2021
Merged

Fix overviews #22

merged 3 commits into from
Dec 13, 2021

Conversation

cuttlefish
Copy link
Member

@cuttlefish cuttlefish commented Dec 13, 2021

Before you submit a pull request, please fill in the following:

Related Issue(s):
Please add links (if any) to related github issues.

Description:
Please explain the changes you made here.

PR checklist:

  • Code is formatted (run scripts/format).
  • Code lints properly (run scripts/lint).
  • Tests pass (run scripts/test).
  • Documentation has been updated to reflect changes, if applicable.
  • Changes are added to the CHANGELOG.

@cuttlefish cuttlefish merged commit 7708e86 into main Dec 13, 2021
@cuttlefish cuttlefish deleted the fix-overviews branch December 13, 2021 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant