Skip to content

Conversation

james-d-mitchell
Copy link
Member

When I commented on Issue #92 that I was "currently" resolving the issue (in 2017), I made the changes in this PR. This is incomplete, but I thought I'd make it anyway, so that it does not go completely out of mind...

@james-d-mitchell james-d-mitchell added the new-feature A label for new features. label Mar 28, 2019
@james-d-mitchell james-d-mitchell added this to the 1.0.0 milestone Mar 28, 2019
@james-d-mitchell james-d-mitchell added the WIP Label of PRs that are a Work In Progress (WIP) label Mar 28, 2019
@james-d-mitchell james-d-mitchell modified the milestones: 1.0.0, 1.1.0, Sep 18, 2019
@digraphs digraphs deleted a comment from github-actions bot Feb 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new-feature A label for new features. WIP Label of PRs that are a Work In Progress (WIP)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant