Skip to content
This repository was archived by the owner on Jul 30, 2024. It is now read-only.

More prefer overload over default parameter #260

Merged
merged 1 commit into from
Jun 4, 2020
Merged

More prefer overload over default parameter #260

merged 1 commit into from
Jun 4, 2020

Conversation

exoego
Copy link
Owner

@exoego exoego commented Jun 4, 2020

Follow-up of #259

@exoego exoego added the chore label Jun 4, 2020
@exoego exoego merged commit 83f7a76 into master Jun 4, 2020
@exoego exoego deleted the overload branch June 4, 2020 05:07
@exoego exoego changed the title Prefer overload over default parameter More prefer overload over default parameter Jun 4, 2020
@exoego exoego added enhancement New feature or request and removed chore labels Jun 4, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant