Skip to content

prefer .empty() to .size()==0 - #410

Merged
krlmlr merged 2 commits into
r-dbi:mainfrom
MichaelChirico:patch-1
Mar 23, 2022
Merged

krlmlr merged 2 commits into
r-dbi:mainfrom
MichaelChirico:patch-1

Conversation

@MichaelChirico

Copy link
Copy Markdown
Contributor

@krlmlr
krlmlr merged commit 9233030 into r-dbi:main Mar 23, 2022
@krlmlr

krlmlr commented Mar 23, 2022

Copy link
Copy Markdown
Member

Thanks!

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Mar 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants