Skip to content

use constructor property promotion#15

Merged
davidlienhard merged 1 commit into
masterfrom
use-constructor-property-promotion
Feb 16, 2021
Merged

use constructor property promotion#15
davidlienhard merged 1 commit into
masterfrom
use-constructor-property-promotion

Conversation

@davidlienhard

Copy link
Copy Markdown
Owner

use promotion for DatabaseInterface

use promotion for `DatabaseInterface`
@davidlienhard davidlienhard added the enhancement New feature or request label Feb 16, 2021
@davidlienhard davidlienhard self-assigned this Feb 16, 2021
@davidlienhard
davidlienhard merged commit 83926e9 into master Feb 16, 2021
@davidlienhard
davidlienhard deleted the use-constructor-property-promotion branch February 16, 2021 09:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant