Closed localheinz closed 1 year ago
This pull request
randomElement()
randomElements()
Follows #639.
Thank you, @pimjansen!
What is the reason for this PR?
This pull request
randomElement()
andrandomElements()
Follows #639.
Author's checklist
Summary of changes
Review checklist