Skip to content

Conversation

@vorburger
Copy link
Contributor

fixes #2053

@vorburger
Copy link
Contributor Author

@jsotuyod this is re. this and this - I hope this looks right? Tx!

PS: The upcoming PR for #2054 will autodetect this during the build.

@remkop remkop added this to the 4.7.6 milestone Dec 16, 2023
@remkop remkop added theme: auto-completion An issue or change related to auto-completion type: enhancement ✨ labels Dec 16, 2023
@remkop remkop merged commit ea43549 into remkop:main Dec 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

theme: auto-completion An issue or change related to auto-completion type: enhancement ✨

Projects

None yet

Development

Successfully merging this pull request may close these issues.

FormatString bug in AutoComplete found by Error Prone

2 participants