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

Adding --compact #1403

Merged
merged 2 commits into from
Feb 8, 2024
Merged

Adding --compact #1403

merged 2 commits into from
Feb 8, 2024

Conversation

davidducos
Copy link
Member

@davidducos davidducos commented Feb 8, 2024

Splitting #1347

@davidducos davidducos added this to the Release 0.16.1-1 milestone Feb 8, 2024
@davidducos davidducos merged commit 199b3ed into master Feb 8, 2024
27 of 35 checks passed
@davidducos davidducos linked an issue Feb 8, 2024 that may be closed by this pull request
@davidducos davidducos deleted the mrg_1 branch March 12, 2024 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant