[Enhancement] Collection+Empty extension #18

Merged
javier merged 1 commits from enhancement/collection-empty into main 2023-05-06 21:58:53 +00:00
Owner

This PR contains the work done to implement the "isNotEmpty" property in the Collection+Empty extension.

This PR contains the work done to implement the "isNotEmpty" property in the Collection+Empty extension.
javier added the
enhancement
label 2023-05-06 21:58:47 +00:00
javier self-assigned this 2023-05-06 21:58:47 +00:00
javier added 1 commit 2023-05-06 21:58:47 +00:00
javier merged commit 7fb72509c2 into main 2023-05-06 21:58:53 +00:00
javier deleted branch enhancement/collection-empty 2023-05-06 21:58:53 +00:00
Sign in to join this conversation.
No description provided.