Skip to content

Conversation

lihaoyi
Copy link
Member

@lihaoyi lihaoyi commented Jul 11, 2024

This functionaly was removed in #579 when we made it configurable via @key, but it's easy enough to support both config mechanisms with @key taking precedence but def tagName being used as a fallback

@lihaoyi lihaoyi merged commit 04b6d21 into main Jul 11, 2024
@lihaoyi lihaoyi deleted the tagname branch July 11, 2024 07:17
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.

1 participant