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

Find a use for Range#cover? #1571

Open
Open
Find a use for Range#cover?#1571
Labels
diff: 2pri: 2type: enhancement
Milestone
 
Wish List
@orenyk

Description

@orenyk
orenyk
opened on May 26, 2016

See here. It seems like this might be useful for availability - we should investigate.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    diff: 2pri: 2type: enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions