Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Make extensions non-optional #7

Open
3nids opened this issue Mar 20, 2023 · 0 comments
Open

Make extensions non-optional #7

3nids opened this issue Mar 20, 2023 · 0 comments

Comments

@3nids
Copy link
Contributor

3nids commented Mar 20, 2023

No description provided.

@3nids 3nids added this to the Drinkingwater 2023.1 milestone Mar 20, 2023
@3nids 3nids self-assigned this Mar 20, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant