Skip to content

Replace '->points.' with just '->' #4218

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

kunaltyagi
Copy link
Member

No description provided.

@kunaltyagi kunaltyagi added the needs: code review Specify why not closed/merged yet label Jun 23, 2020
@kunaltyagi kunaltyagi force-pushed the sed-points2 branch 2 times, most recently from ac3565b to ed5152a Compare June 23, 2020 16:01
@kunaltyagi kunaltyagi added the needs: pr merge Specify why not closed/merged yet label Jun 23, 2020
@kunaltyagi
Copy link
Member Author

Depends on #4220

@kunaltyagi kunaltyagi added the priority: gsoc Reason for prioritization label Jun 23, 2020
@kunaltyagi kunaltyagi added needs: pr merge Specify why not closed/merged yet and removed needs: pr merge Specify why not closed/merged yet labels Jun 24, 2020
@kunaltyagi kunaltyagi removed the needs: pr merge Specify why not closed/merged yet label Jun 24, 2020
@kunaltyagi kunaltyagi marked this pull request as draft June 24, 2020 14:11
@kunaltyagi kunaltyagi force-pushed the sed-points2 branch 2 times, most recently from b090942 to 52bb988 Compare June 24, 2020 16:46
@kunaltyagi kunaltyagi added the needs: pr merge Specify why not closed/merged yet label Jun 24, 2020
@kunaltyagi kunaltyagi added needs: more work Specify why not closed/merged yet and removed needs: pr merge Specify why not closed/merged yet needs: code review Specify why not closed/merged yet labels Jul 4, 2020
@stale
Copy link

stale bot commented Aug 8, 2020

Marking this as stale due to 30 days of inactivity. Commenting or adding a new commit to the pull request will revert this.

@stale stale bot added the status: stale label Aug 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs: more work Specify why not closed/merged yet priority: gsoc Reason for prioritization status: stale
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant