Skip to content

Editorial: remove a note from TimeClip abstract operation algorithm#1972

Closed
chicoxyzzy wants to merge 1 commit intotc39:masterfrom
chicoxyzzy:remove_timeclip_note
Closed

Editorial: remove a note from TimeClip abstract operation algorithm#1972
chicoxyzzy wants to merge 1 commit intotc39:masterfrom
chicoxyzzy:remove_timeclip_note

Conversation

@chicoxyzzy
Copy link
Copy Markdown
Member

@jmdyck
Copy link
Copy Markdown
Collaborator

jmdyck commented Apr 26, 2020

See also PR #1965, 4th commit

@chicoxyzzy
Copy link
Copy Markdown
Member Author

chicoxyzzy commented Apr 26, 2020

I'll close this in favor of #1965

@chicoxyzzy chicoxyzzy closed this Apr 26, 2020
@chicoxyzzy chicoxyzzy deleted the remove_timeclip_note branch April 26, 2020 20:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Discrepancy in the note for TimeClip

2 participants