Skip to content

Conversation

@PiggyPiglet
Copy link
Member

Patches an oversight on the fix for #666 (#764), fixing #771

@darbyjack darbyjack linked an issue Dec 24, 2021 that may be closed by this pull request
3 tasks
@PiggyPiglet PiggyPiglet merged commit ca08822 into master Dec 27, 2021
@Andre601 Andre601 added the Type: Enhancement New feature or request label Feb 22, 2022
@darbyjack darbyjack deleted the fix/771-identifier-replacement branch July 26, 2022 23:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

%s being edited to % by PlaceholderAPI

3 participants