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

Conversation

@tuseto
Copy link
Contributor

@tuseto tuseto commented Sep 28, 2020

No description provided.

@tuseto tuseto merged commit b7fb1f0 into master Sep 29, 2020
@spont4e spont4e deleted the fix-drop-index branch April 5, 2022 19:04
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.

2 participants