Skip to content

Clean up aggregation #1072

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 2 commits into from
Aug 25, 2021
Merged

Clean up aggregation #1072

merged 2 commits into from
Aug 25, 2021

Conversation

jberkel
Copy link
Collaborator

@jberkel jberkel commented Aug 25, 2021

No description provided.

@jberkel jberkel force-pushed the cleanup-aggregation branch from 14250b4 to 19fd8a5 Compare August 25, 2021 17:48
@jberkel jberkel force-pushed the cleanup-aggregation branch from 894ae76 to 5e64bb5 Compare August 25, 2021 19:59
@jberkel jberkel marked this pull request as ready for review August 25, 2021 20:01
@jberkel jberkel merged commit d25e5bc into master Aug 25, 2021
@jberkel jberkel deleted the cleanup-aggregation branch August 25, 2021 21:03
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