Skip to content

Conversation

zanna-37
Copy link
Contributor

@zanna-37 zanna-37 commented Nov 7, 2022

No description provided.

@zanna-37 zanna-37 marked this pull request as ready for review November 7, 2022 00:20
After lengthy deliberation, the "committee for the philosophy of comments and other non-executable bytes" converged to "point kept because it's at the start-edge of the trace and it's outside the visible range"
@dbuezas dbuezas merged commit 44a7839 into dbuezas:master Nov 9, 2022
@zanna-37 zanna-37 deleted the patch-1 branch November 14, 2022 01:15
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.

2 participants