Skip to content
This repository was archived by the owner on Jul 22, 2025. It is now read-only.

Conversation

@bajtos
Copy link
Member

@bajtos bajtos commented Aug 30, 2022

No description provided.

Signed-off-by: Miroslav Bajtoš <saturn@bajtos.net>
@bajtos bajtos requested a review from juliangruber August 30, 2022 12:51
@bajtos bajtos mentioned this pull request Aug 30, 2022
@bajtos bajtos merged commit c1057cd into main Aug 30, 2022
@bajtos bajtos deleted the update-deps branch August 30, 2022 15:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants