Skip to content

Prevent duplicates in TypeProvider#19850

Merged
sopel39 merged 1 commit intomasterfrom
ks/prevent_duplicates
Nov 21, 2023
Merged

Prevent duplicates in TypeProvider#19850
sopel39 merged 1 commit intomasterfrom
ks/prevent_duplicates

Conversation

@sopel39
Copy link
Member

@sopel39 sopel39 commented Nov 21, 2023

Description

Additional context and related issues

Release notes

( ) This is not user-visible or is docs only, and no release notes are required.
( ) Release notes are required. Please propose a release note for me.
( ) Release notes are required, with the following suggested text:

# Section
* Fix some things. ({issue}`issuenumber`)

@sopel39 sopel39 merged commit ae40d12 into master Nov 21, 2023
@sopel39 sopel39 deleted the ks/prevent_duplicates branch November 21, 2023 14:12
@sopel39 sopel39 restored the ks/prevent_duplicates branch November 21, 2023 14:12
@sopel39 sopel39 deleted the ks/prevent_duplicates branch November 21, 2023 14:12
@sopel39 sopel39 restored the ks/prevent_duplicates branch November 21, 2023 14:12
@sopel39 sopel39 deleted the ks/prevent_duplicates branch November 21, 2023 14:12
@github-actions github-actions bot added this to the 434 milestone Nov 21, 2023
@mosabua
Copy link
Member

mosabua commented Nov 21, 2023

I assume no release notes entry needed @sopel39 and @raunaqmorarka ...

@sopel39
Copy link
Member Author

sopel39 commented Nov 22, 2023

@mosabua this is fix for #19850, no release notes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

3 participants