Skip to content

Make pubgrub an allowed ident#3399

Merged
konstin merged 1 commit intomainfrom
konsti/pubgrub-allow-ident
May 6, 2024
Merged

Make pubgrub an allowed ident#3399
konstin merged 1 commit intomainfrom
konsti/pubgrub-allow-ident

Conversation

@konstin
Copy link
Member

@konstin konstin commented May 6, 2024

Followup to #3361, fix some backtick-quoting.

Followup to #3361, fix some backtick-quoting.
@konstin konstin added the internal A refactor or improvement that is not user-facing label May 6, 2024
@konstin konstin enabled auto-merge (squash) May 6, 2024 09:00
@konstin konstin merged commit 9de49c8 into main May 6, 2024
@konstin konstin deleted the konsti/pubgrub-allow-ident branch May 6, 2024 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant