Skip to content

Conversation

ice1e0
Copy link
Member

@ice1e0 ice1e0 commented Jul 10, 2021

See mara/mara-db#44

It does not require that mara/mara-db#47 is merged. This PR can be merged idependently.

@leo-schick leo-schick added this to the Version 4 milestone May 26, 2022
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.

2 participants